Recent Updates Toggle Comment Threads | Keyboard Shortcuts

  • diegor 10:41 pm on June 9, 2015 Permalink | Reply
    Tags: dual boot, , , UEFI, windows   

    Dual boot with Windows 8.1 and Linux on HP/Sony laptops 

    Branded laptops (e.g. HP, Sony, etc) don’t boot Linux. Just Windows. Yes, you got it. Just Windows. You can try to install Linux but it won’t be added to the boot manager. You can also try to configure GRUB as boot manager, but this will be overwritten by the Windows boot manager. Unfortunately there is no unique solution and every brand can adopt different strategies: googling around I’ve read that sometime the boot manager just boots entries where the name starts with Windows. Crazy!
    Everything started when my nice told me that Ubuntu wasn’t started anymore on her HP Pavillon. I said: “No problem, it’s a piece of cake”. At the time I installed Ubuntu she had Windows 8 and now she has Windows 8.1. This rang a bell. Maybe the update overwrote the UEFI configuration. Ok, it might be possible.
    I downloaded EasyBCD trying to add Ubuntu. It was kind of done but every time I rebooted the machine I couldn’t see the entry (I was using the Windows Boot Manager). I tried tens of times, every possible combination. I’ve played with bcdedit.exe under Windows, with efibootmanager under Linux, I’ve installed rEFInd but I had no luck at all. I’ve even disabled the fast boot on Windows 8.1.

    Nothing, nada, tabula rasa.

    I couldn’t boot to Linux unless I went to the kind of BIOS menu and selected the Linux partition. After spending few days after this, I bumped into this comment in a stackoverflow post. It states:

    “Yes! Renaming worked for me! I mounted the efi partition and copied the files ../EFI/ubuntu/grubx64.efi to ../EFI/Boot/ and to /EFI/Microsoft/Boot and changed the name of the file as follows. In the ../EFI/Boot directory I overwrote the bootx64.efi with the file and in the ../EFI/Microsoft/Boot I overwrote the bootmgfw.efi with the file. That was all I think. Thank you very much! – user296880 Jun 23 ’14 at 20:28″

    Well user296880, it did work for me too! Renaming file under the hood is really the last resort. A new upgrade might wipe everything and have to start again but I accept the risk.

    Searching a bit better I also bumped into this other post which explains exactly my situation.

    Said that, really good luck with that.

  • diegor 5:15 pm on May 9, 2015 Permalink | Reply
    Tags: ,   

    HOWTO: Change the message of a pushed commit 

    • git rebase -i
    • In you editor now change ‘pick’ to ‘reword’ on the line for the incorrect commit.
    • Once you have done, save and close.
    • Now the editor opens again with the message to correct. Do your correction, save and close
    • git push –force

    This method will rewrite the history of your repository. If someone pulled/fetched from the repo between the commit with the wrong message and when you correct it, he/she could have some issues. It would be useful to communicate to anyone involved about your action.

  • diegor 2:21 pm on March 27, 2015 Permalink | Reply
    Tags: cv, , latex, ,   

    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 to github. It is written in LaTeX and it uses ModernCV classes.
    You can get the pdf from my website/github or you can fork my repo to create your own CV starting from

  • diegor 10:48 pm on October 5, 2014 Permalink | Reply
    Tags: , , , vmware   

    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 terminal and type the following command:

    #> setxkbmap

    That’s it.

  • diegor 10:23 am on August 28, 2014 Permalink | Reply
    Tags: ,   

    HOWTO: check if I am in a screen session 

    #> echo $STY

    If you are in a screen session, you’ll see something similar to

    #> echo $STY

    If you aren’t, you’ll see nothing.

    #> echo $STY

  • diegor 5:03 pm on August 14, 2014 Permalink | Reply
    Tags: ,   

    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

  • diegor 10:26 am on July 18, 2014 Permalink | Reply
    Tags: ,   

    HOWTO: rename screen session 

    Within screen:

    C-a :sessionname newSessionName

    where C-a is Ctrl-a

    Without attaching a screen session:

    #> screen -X sessionname newSessionName

    If you have multiple screen running you have to specify which one to rename:

    #> screen -S sessionToRename -X sessionname newSessionName

Compose new post
Next post/Next comment
Previous post/Previous comment
Show/Hide comments
Go to top
Go to login
Show/Hide help
shift + esc