A set of handy command-line tools
$ tools ip
returns your IP
$ tools convert_mp4_mp3 /path/to/file.mp4
converts the .mp4 file into an .mp3 file in the same directory
$ tools links https://website/path
$ tools links /path/to/file.html
extracts the links inside a webpage or file