Useful linux commands
Ubuntu: Check to see if a package is installed dpkg -l | grep {package_name} Kill some process ps aux | grep {process name} kill {number} Docker: #!/bin/bash # Delete all containers docker rm $(docker ps -a -q) # Delete all images docker rmi $(docker images -q)