Docker basics Links to other tutorials
To start the server in your current directory.
In command line :
python -m http.server
Requirements :
sox track1.ogg track2.ogg track3.ogg full_album.ogg
convert cover.jpg -resize 720x720 small_cover.jpg
ffmpeg -i small_cover.jpg -i full_album.ogg output.mp4
grep -r string ./*
-r to search recursively into current directory (./*).
cf. https://github.com/dpelle/vim-Grammalecte/blob/master/doc/Grammalecte.txt TODO