My CV on github
I’ve always had my CV versioned. In the early days I used svn and then I moved to git. I had my own private repository but recently I have decided to move it...
Recent Posts
HOWTO: Ctrl/Alt/Shift keys not working in VMWare
Sometime when using VMWare under linux, it makes impossible the usage of Ctrl/Alt/Shift keys on the virtualised OS. The solution is quite easy though. Open a...
HOWTO: check if I am in a screen session
$ echo $STY
HOWTO: restore a deleted file in git
$ git rev-list -n 1 HEAD -- path_to_file #this gives you the commit's hash $ git checkout commit_hash^ -- path_to_file # it restores the file
HOWTO: rename screen session
Within screen:
HOWTO: schedule repeating events with Python
```python import sched import datetime, time
HOWTO: move a commit to another branch using GIT
$ git log #Get the commit_ID that you want to move $ git checkout [right_branch] $ git cherry-pick [commit_ID]