git: permanently store https credentials
$ git config –global credential.helper store
Category: Tooltips
git remote: change URL
$ git remote set-url <remote-name> <new-url> $ git remote set-url origin https://github.com/user/repo.git
git push renamed branch
Push local branch to remote with different name: $ git push <remote> <local_branch_name>:<remote_branch_name> $ git push remote1 branch1:dev/test1
git show diff of stash
$ git stash list -p
git undo last commit
Undo last local (not pushed) commit: $ git reset –soft HEAD~1
Disable automounting in GNOME
$ gsettings set org.gnome.desktop.media-handling automount-open false $ gsettings set org.gnome.desktop.media-handling automount false
grub GUI: Grub Customizer
Install: $ sudo add-apt-repository ppa:danielrichter2007/grub-customizer $ sudo apt-get update $ sudo apt-get install grub-customizer Run: $ grub-customizer
Enter grub bootloader menu
Press and hold [Shift] during computer boot untill grub menu shows up.
Start shell in chroot environment
$ sudo chroot /path/to/chroot/dir Example: $ sudo chroot /home/user/vm
sshfs mount with full root access
1. Enable root login in sshfs. 2. Mount: $ sudo sshfs -o allow_other,default_permissions root@remote_host:/ /mount/dir