IDE для разработки в Vala. Он недоступен в репозитории, но PPA существует. https://launchpad.net/~vala-team/+archive/ppa
Я управляю своими источниками вручную из cli с помощью обычного текстового редактора, например vim или nano.
Основной sources.list находится здесь:
/etc/apt/sources.list
, а большинство сторонних источников:
/etc/apt/sources.list.d/
вы можете просто использовать текстовый редактор для редактирования и включения (раскол):
sudo nano /etc/apt/sources.list.d/sample-sources.list
должны быть строки например:
# deb http://ppa-url.com/ubuntu trusty main
вы должны раскомментировать их (удалите #):
deb http://ppa-url.com/ubuntu trusty main
, затем сохраните отредактированный файл и запустите sudo apt update.
Я управляю своими источниками вручную из cli с помощью обычного текстового редактора, например vim или nano.
Основной sources.list находится здесь:
/etc/apt/sources.list
, а большинство сторонних источников:
/etc/apt/sources.list.d/
вы можете просто использовать текстовый редактор для редактирования и включения (раскол):
sudo nano /etc/apt/sources.list.d/sample-sources.list
должны быть строки например:
# deb http://ppa-url.com/ubuntu trusty main
вы должны раскомментировать их (удалите #):
deb http://ppa-url.com/ubuntu trusty main
, затем сохраните отредактированный файл и запустите sudo apt update.
Я управляю своими источниками вручную из cli с помощью обычного текстового редактора, например vim или nano.
Основной sources.list находится здесь:
/etc/apt/sources.list
, а большинство сторонних источников:
/etc/apt/sources.list.d/
вы можете просто использовать текстовый редактор для редактирования и включения (раскол):
sudo nano /etc/apt/sources.list.d/sample-sources.list
должны быть строки например:
# deb http://ppa-url.com/ubuntu trusty main
вы должны раскомментировать их (удалите #):
deb http://ppa-url.com/ubuntu trusty main
, затем сохраните отредактированный файл и запустите sudo apt update.