Ubuntu 16.04 and Windows 10 dual boot – grub not showing up while booting

Life was going on as usual. I had Windows 10 (I am not going to bother trying to find out if it is Pro, Home or Enterprise or whatever it is called) installed on a Lenovo Z50 laptop. My work as an academic researcher demanded that I also have Linux. So enter Ubuntu 16.04 and the pains associated with maintaining a dual-boot system. A couple of months after I had stored a solid chunk of my work on the Ubuntu partition, my laptop suddenly decides that it does not want to boot into Ubuntu. I do not see the grub splash screen at power on and go straight into Windows. Searching around on DuckDuckGo (yes I know ‘google’ is a verb now, but I am sceptical) threw up some answers. The most common amongst them was to run a command on the Windows command prompt

bcdedit /set {bootmgr} path \EFI\ubuntu\grubx64.efi

Unfortunately that did not seem to help me. Thankfully I found an answer in a post on https://tutorialsformyparents.com/how-i-dual-booted-linux-mint-alongside-windows-10-on-a-uefi-system/

Somewhere down where the author talks about UEFI and boot managers, I found my clue. The idea is that in addition to Devices that one can boot from, there now exist options that allow the user to select, which boot manager to select. With Windows 10 and some Micrium Recovery tool that I had installed on my Laptop, the Windows boot manager had somehow been given preference and it would not detect Ubuntu that had been installed later. So now I had to go and figure out, how to do the same on my laptop. None of F9/F6/F5 keys would take me into the Boot Options menu.

This is where Stackexchange came to the rescue. Lenovo Z50 and some of the other laptops in that series have a “Novo” button (how creative with the name) that is defined as

enter image description here

So then I shut down my Laptop, pressed the “Novo” button and select Boot Menu.


I then reorder the boot managers so that Ubuntu is on top,


Save and Exit and voila! my grub splash screen is back and I am able to boot into Ubuntu.

Lessons learnt

  1. Dual boot is tricky but doable
  2. There is goodness and a lot of good people in this world
  3. googling (sorry I meant searching) helps


Ubuntu 16.04 and Windows 10 dual boot – grub not showing up while booting

Citation key not visible in Mendeley – What should I do?

There are situations in your publishing career, where you have a few thousand references that you need to wade through, and cite in your document. For those of us using Latex and Bibtex to create their wonderful research papers, the bib files have a field called the citation key. Now in most cases, the citation key is the Author Name followed by the year. But if your library has grown really large and is synced in multiple places, the citation key sometimes have some funny suffixes. So now instead of a key called “Dabholkar2015”, you would have a key “Dabholkar2015a”. For those using Mendeley and Overleaf as their library manager and Latex editor respectively, the problem is compounded because Mendeley auto-generates the .bib file that you include in Overleaf. Now, since everything is in the “cloud” and “auto-sync”ed, you do not have any way of editing the .bib file in Overleaf. On top of that, Mendeley regenerates the .bib file every time there is a change and so any manual edits you make to the .bib file in your Overleaf project would be lost, the next time, the Mendeley library is refreshed.
Unfortunately, Mendeley have decided that citation keys should not be visible by default, so you have to turn them on. Here I’ll copy from an answer I found on StackExchange : Go to the menu->Tools->Options->Document Details, then choose the document type (for instance, Journal Article), then check the Citation Key box. Then, a field for Citation Key should be visible in the details pane on the right hand side of the window.Options Box Document Pane

Citation key not visible in Mendeley – What should I do?

wget files of a certain type from multiple folders on a website

A common requirement when one is trying to download log files archived on some websites is that one needs logs from a particular date each month or from a specific date, but from all machines where the logging is being carried out.

I recently faced such a situation. I was trying to download the route views from the Packet Clearing House website. This website archives router dumps from various locations worldwide and uploads them to their server neatly arranged under various folders.

The content is organised as follows.

Home => Resources => Routing Data => IPV4 Daily Snapshots => <Year> => <Month> => <Route Location> => <Route_filename.Year.month.date.gz>

Now I needed the routing data from all locations, for 2017.04.01, so I used ‘wget‘ that is commonly available in almost all Linux installations to get the files. The wget command I used was

wget -r --accept "*.04.01.gz*" --level 2 "https://www.pch.net/resources/Routing_Data/IPv4_daily_snapshots/2017/04/"
wget files of a certain type from multiple folders on a website