Skip to content

Instantly share code, notes, and snippets.

@henrydatei
henrydatei / vcs-downloader.sh
Last active March 9, 2023 09:34
Download a video from Videocampus Sachsen
#file=$1
#videoname=$(echo "$file" | cut -d "." -f1)
#echo "$videoname"
touch playlist.txt
touch urllist.txt
key=$1
videoname=$2
#keystring=$(cat $file | grep -o -E "key=[0-9,a-z]+")
@henrydatei
henrydatei / ppsx-to-video.sh
Created April 24, 2020 11:19
Make a video from an ppsx file
#!/bin/bash
#passende Ordner erstellen
read -p "Nummer der Vorlesung " nummer
mkdir -p Einzelseiten
mkdir -p Einzelseiten/VL$nummer
mkdir -p Einzelseiten/VL$nummer/audio
mkdir -p Einzelseiten/VL$nummer/jpg
mkdir -p Einzelseiten/VL$nummer/pdf
mkdir -p Einzelseiten/VL$nummer/png