A bunch of scripts to make your life better at @42School
Just git clone https://github.com/alexandregv/42toolbox.git ~/42toolbox.
If you use shell_utils.sh, you probably want to source it inside your .zshrc/.bashrc/etc:
echo "source ~/42toolbox/shell_utils.sh" >> ~/.zshrc.
You can also use the scripts of your choice without cloning the repository. You will have to edit toolbox_path in init_session.sh if you use it.
A script to init your session at 42 when you log in. It can:
- Connect your bluetooth device
- Init docker (see init_docker)
- Check if all your apps are installed and start them
- Update brew and its formulas
- Clean your disk (also check free_space)
- Start RP42
- Open System Preferences (You could need it to edit your keyboard/screen settings, etc)
A script to init Docker for Mac at 42.
It checks if Docker for Mac is properly installed and makes symlinks to the goinfre to not fill your session disk.
A script to free space on your session disk.
It will show you a summary of your disk, what files take space, and delete them if you ask to.
This one is a script you should source in your .zshrc/.bashrc/etc.
It creates nice aliases and functions:
- valgrind_macos : a function to protect valgrind and fsanitize
- valgrind_docker_{make,custom} : two functions to run valgrind (and your program) inside docker. No more false positive with valgrind on macOS