Scripts that I personally developed and use. Feel free to use/modify as you see fit.
-
batch_file_downloader.sh: automatically downloads a list of HTTP links from a file -
get_file_extension.sh: gets file extension from input file -
gitundo.sh(and its executable,gitundo): undoes a certain number of git commits -
gits.py(and its linux executable,gits): can propagate a git command to all, or a selected subset, of git repositories in a directory
template.sh: bash script templatetemplate.py: python script template