Как получить список установленных PPA репозиториев на Ubuntu?
apt-cache policy | grep http | awk '{print $2 $3}' | sort -u Результат примерно такой: 
apt-cache policy | grep http | awk '{print $2 $3}' | sort -u Результат примерно такой: 
Иногда необходимо запретить обновление какого-нибудь пакет из нестабильного репозитория. Для этого есть 2 решения: грубое - отключить репозитарий, элегантное - заморозить обновление отдельного пакета.
Команда, чтобы заблокировать обновление пакета:
sudo apt-mark hold имя_пакетаКоманда, чтобы разблокировать обновление пакета:
sudo apt-mark unhold имя_пакетаСначала установите 2 расширения php:
sudo apt-get install php-zip
sudo apt-get install php-xmlПотом установщик laravel
Нормальной замены на Ubuntu нет, есть gxneur, но он кривой(( Пытался пользоваться несколько месяцев. В итоге удалил.
Настройка после установки Ubuntu 18.04 для курса по C++
Команда sed - это потоковый редактор текста. Вставляет/изменяет/добавляет текст не открывая файл визуально. Обычно используется в скриптах.