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 origin my_branch 3. To delete the […]
To check your libc (glibc) version type “ls -l /lib/libc.” and hit TAB. This should expand the line into the name of your libc library file, e.g. something like /lib/libc.so.6 Umm… no, the .6 does not mean that your glibc version is 6, unfortunately it is a little more complicated than that 🙂 … but not […]
If you’ve installed Fedora Core 9 you won’t be able to play your MP3 audio files out of the box. I suppose some other Fedora versions also have this “feature”. I won’t go here into a lengthy explanation as to why exactly FC9 does not play mp3 – Fedora actually handles that quite good (the […]
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 […]
On my newly installed Fedora box (I said “newly” but this may be a bit misleading as I installed FC9, which is an old distribution but I have to use it for compatibility reasons with other software…) I had the following problem: I had no sound (e.g. YouTube plays a clip and there is no […]