After reporting the bug, I found the reason why internet connection was not detected by boot-repair: The proxy had to be set differently. I had been using "Network" under "System settings" to set the proxy. However, I discovered Question #242493, whose answer said that one has to first login as root:
1. In a terminal, type “sudo su –“
2. Then type “export http_proxy=…”
3. Then type “/usr/bin/boot-repair”
In case of proxy requiring username:password authorization:
After reporting the bug, I found the reason why internet connection was not detected by boot-repair: The proxy had to be set differently. I had been using "Network" under "System settings" to set the proxy. However, I discovered Question #242493, whose answer said that one has to first login as root:
1. In a terminal, type “sudo su –“ boot-repair”
2. Then type “export http_proxy=…”
3. Then type “/usr/bin/
In case of proxy requiring username:password authorization:
( export http_proxy=http:// username:<email address hidden>:port ).
For me (using bash shell), this did not work. On the other hand, the following worked:
sudo su - username:<email address hidden>:port
HTTP_PROXY=http://
export http_proxy
That the proxy was set could be checked using the command:
env |grep http_proxy