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