### What is this
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.
### Naming
Scripts that deal with Git have `gt-` prefix.
Rarely used scripts might have really long descriptive names.
### Usage instructions
Look at the top comments inside scripts.
### Scripts
| Script | Description
| ------------------------ | -----------
| 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
### License
Scripts are made available under the Apache 2.0 license.
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/xscripts
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/xscripts
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master