Where I keep diverse scripts that I wrote over the years
trotFunky
b6bcec6d88
The bootSound script started to hang on strings /dev/urandom, so replace it with a cleaner random number generation. 24134 could be used for bash, but this would make the script less generic, as it is not available in POSIX. Use awk random() from a suggestion from ShellCheck. Remove the code that was there to control the parsing from /dev/urandom. Other fixes : - Use wc rather than grep to count the files - Use a subshell for proper directory handling |
||
---|---|---|
INTech | ||
Perso | ||
VPS | ||
README.md |
Shell scripts
This repository contains shell scripts that I wrote for myself, my robotics club or my server, mainly in Bash.
It also contains some timer services for systemd.
Structure
- Perso : Personal scripts
- INTech : Scripts made for INTech, my robotics club
- VPS : Scripts mainly used on my server