Contains some small (but sometimes really useful) scripts for daily work on programming and handling git.
filename | usage |
---|---|
amIInVirtualenv.py | prints whether the current execution is within a virtualenv (Works with python2 and python3 |
bubbleDiagramAnimated.tex | Contains a extended and animated version of bubble diagram provided by smartdiagram |
createPdfMakefile | creates a make file for compiling latex files with biber |
echoGitRootDir | prints the path of the root directory of the git repo currently in |
findBinariesLibraryOfType | Lists all shared libraries linked to the given binary containing a certain string in any type |
findLibraryContainingType | Lists all shared libraries recursively in the given directory containing a given string in any type |
general_update.py | Updates package lists of various package manager and upgrades them if wanted |
getDirOfThisFile_bash | This is an executable script but it is quite useful for other scripts when trying to determine where the script containing these lines is located |
getDirOfThisFile_zsh | This is an executable script but it is quite useful for other scripts when trying to determine where the script containing these lines is located |
gitadd | A command useful when committing huge amounts of data or a huge number of files |
pullAll | Checks all git repos recursively whether they need to be updated and whether they can be. If so then the script asks you whether you want to update |
pullRebasePush | A single command for pulling, rebasing and pushing your local commits |
recordGource.sh | An complete example command for saving gource output as mp4 file |
renameFormats | Replaces all files having a given format with the other given format |
word_freqs.py | Returns the word frequencies of a PDF file |