Владимир Швецов

В общем проблема оказалась в том, что у меня ОС работает с mdadm-рейда, но UEFI-разделы на каждом из дисков были свои. В итоге конфиг grub правился на одном диске, а ОС стартовала с другого. Поэтому игнорировались внесенные правки

NAME    MAJ:MIN RM   SIZE RO TYPE  MOUNTPOINT
sda       8:0    0 232,9G  0 disk
├─sda1    8:1    0   200M  0 part
├─sda2    8:2    0     2G  0 part
│ └─md1   9:1    0     2G  0 raid1 [SWAP]
├─sda3    8:3    0   512M  0 part
│ └─md0   9:0    0   511M  0 raid1 /boot
└─sda4    8:4    0 230,2G  0 part
  └─md2   9:2    0 230,1G  0 raid1 /
sdb       8:16   0 232,9G  0 disk
├─sdb1    8:17   0   200M  0 part  /boot/efi
├─sdb2    8:18   0     2G  0 part
│ └─md1   9:1    0     2G  0 raid1 [SWAP]
├─sdb3    8:19   0   512M  0 part
│ └─md0   9:0    0   511M  0 raid1 /boot
└─sdb4    8:20   0 230,2G  0 part
  └─md2   9:2    0 230,1G  0 raid1 /

В описании темы написано

NOTE: In all likelihood, you will need to install a Powerline-patched font for this theme to render correctly.
https://github.com/Lokaltog/powerline-fonts

добавьте в систему шрифты и в терминале выберите один из них

это и есть путь
/usr/bin/php

Обновите ubuntu
В Windows 10 Creators Update доступна 16.04 с рабочим ping и ifconfig
https://yadi.sk/i/YNME7FXR3HaHpu