обновить pgadmin3 1.16 до 1.18
Mine на основе ответов @topless и @jibreel. Прозрачный фон и темная тема. Удивительно.
@define-color bg-grey #222;
@define-color active #313131;
TerminalWindow .notebook {
border: 0;
padding: 0;
color: #fff;
background-color: shade(@active, 1);
}
TerminalWindow .notebook tab:active {
background-color: shade(@active,1);
}
TerminalWindow .notebook tab {
border-radius: 0px;
padding: 3px;
background-color: shade(@bg-grey, 1);
}
1
задан Community
13 April 2017 в 15:23
поделиться
2 ответа
Сначала нужно добавить ключ, используя следующую команду. (Команда загружает ключ с сервера postgresql.org и передает его команде apt-key через канал)
wget --quiet -O - https://www.postgresql.org/media/keys/ACCC4CF8.asc|sudo apt-key add -
См. Http://www.ubuntuupdates.org/ppa/postgresql [ ! d1]
3
ответ дан Dan
24 May 2018 в 12:28
поделиться
Чтобы обновить Postgresql на Ubuntu, правильная команда
sudo apt-get update
sudo apt-get upgrade pgadmin3
Учитывая, что Postgres уже установлен,
sudo apt-get upgrade pgadmin3
вернет, что pgadmin уже установлен.
0
ответ дан Julian Wise
24 May 2018 в 12:28
поделиться