Linux Git January 19, 2021 Ignore modified files due to changes in file permissions. git config core.fileMode false
Linux January 5, 2021 If you want to logout from your Linux desktop session, but don't want to leave your terminal window. gnome-session-quit
Git Linux January 4, 2021 From time to time I clean up all the local branches that have assembled over time in a Git repository. git branch | grep -v "main" | xargs git branch -D
Linux January 3, 2021 Quick way to restart your Linux Desktop environment. Useful when trying out stuff that needs to run at startup. sudo service lightdm restart