These are some of my scripts. Potentially the most generic and useful of those that I actually use. They were put in this repository to track changes, synchronize across machines and make them available for anyone for whom they might be useful.
Scripts that deal with Git have
Rarely used scripts might have really long descriptive names.
Look at the top comments inside scripts.
|envis-diff||Improved highlighting of whitespace in diff|
|gifrec||Handy script to record interaction as a GIF|
|gt-clean-merged-branches||Interactive deletion of old branches in a Git repo|
|gt-do||Dispatcher of repository-specific commands|
Scripts are made available under the Apache 2.0 license.