wolfgang ziegler


„make stuff and blog about it“
Git September 8, 2022

Turn off page output (globally) for git commands (e.g. "git branch").

git config --global pager.branch false

Linux Tool August 12, 2021

Generate text banners in your terminal.

sudo apt-get install figlet

Linux January 22, 2021

Find out your mainboard model using Linux commandline.

sudo dmidecode -t 2

Linux Git January 19, 2021

Ignore modified files due to changes in file permissions.

git config core.fileMode false
Git January 7, 2021

Revert single files that you just committed.

git checkout HEAD~1 -- <path1> <path2>

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

Git January 2, 2021

Clear your git credentials (e.g. after a password change).

git config --unset user.password