Сначала я только что добавил ppa и переустановил php7.1
sudo apt-add-repository ppa:ondrej/php sudo apt-get update sudo apt install php7.1Чем я установил php7.1-curl, а voila все работает отлично отлично.
Проблема в том, что я получил старую версию ppa.
Это невозможно, верхняя панель - это панель меню, не предназначенная для размещения ярлыков, но вы можете поместить xkill в пусковую установку.