|
2 months ago | |
---|---|---|
archivers | 1 year ago | |
audio | 2 years ago | |
backup | 2 years ago | |
bin | 1 year ago | |
dddoc | 2 years ago | |
debian | 2 years ago | |
email_account | 8 years ago | |
file_utils | 2 months ago | |
git | 2 years ago | |
graphics | 2 years ago | |
misc | 2 years ago | |
ssh_tools | 1 year ago | |
ssl_mgmt | 2 years ago | |
textproc | 2 years ago | |
wifi | 2 years ago | |
.gitignore | 11 years ago | |
Expat | 9 years ago | |
GPL-3 | 11 years ago | |
README.md | 2 years ago | |
WTFPL-2 | 11 years ago |
This repository provides a bunch of scripts that may or may not be of interest for you. They are all free software, but we use various licenses; the license and copyright information of a script are given in the file's header.
Most scripts are categorised into directories, but "bigger" projects are kept
in their own directories. Each directory contains a README
file with
description and usage of each script it contains.
Here is a list of the main scripts that could be of interest to the general public:
mvparent
(moves the contents of a directory up one level).For your convenience, the bin/
directory is maintained with symbolic links
pointing to the scripts in the other directories, so that you can add it
to your PATH and use the scripts easily. The file extensions (.sh
, .pl
,
.py
, etc.) are stripped. Only relevant scripts are linked, i.e. those
that do not need to be customised in order to be usable, and that are
not very specialised system administration scripts.
To use the bin/
directory, add something like that in your .bashrc
,
.zshrc
or whatever file the shell you're using will source:
PATH="$HOME/path/to/scripts/bin:$PATH"