linux-pages.com
... arcane linux knowledge collected over the eons, bit by bit ...
From the monthly archives: April 2011
1. Here’s how to to create a remote branch in git::
git push origin origin:refs/heads/my_branch
… or even simpler and more straightforward:
git branch my_branch # create branch locally
git push origin my_branch # push it to server
2. To push your changes to the remote branch:
git push […]
This was something which I found to be quite annoying on the Xfce Desktop Environment version 4 (4.4.3), it probably is the same for some other Xfce versions too…
The XFCE Window Manager defines the so called global Window shortcuts, meaning that when this key-combo shortcut is pressed, no matter where (from which application), the […]
