Какой тип терминала или настройка PS1 - это?
ame в качестве вышеупомянутого решения, за исключением того, что я сделал мягкую ссылку в каталоге / usr / local, указывающую на /usr/lib/girepository-1.0. Я также переименовал старый каталог.
ls -l
drwxr-xr-x 2 root root 4,0K loka 14 14:08 girepository-1.0_old
[d3 ] lrwxrwxrwx 1 root root 25 loka 14 14:10 girepository-1.0 -> /usr/lib/girepository-1.0Это не сработало бы иначе.
6 ответов
Я использую powerline-shell в видео с помощью схемы с соляризованным темным цветом (которая включена по умолчанию в терминале):
https://github.com/banga/powerline-shell [ ! d1]Я использую powerline-shell в видео с помощью схемы с соляризованным темным цветом (которая включена по умолчанию в терминале):
https://github.com/banga/powerline-shell [ ! d1]Я использую powerline-shell в видео с помощью схемы с соляризованным темным цветом (которая включена по умолчанию в терминале):
https://github.com/banga/powerline-shell [ ! d1]Это, скорее всего, реализация zsh, настроенная с помощью oh-my-zsh. Специальные символы предоставляются шрифтом Powerline.
Это, скорее всего, реализация zsh, настроенная с помощью oh-my-zsh. Специальные символы предоставляются шрифтом Powerline.
Это, скорее всего, реализация zsh, настроенная с помощью oh-my-zsh. Специальные символы предоставляются шрифтом Powerline.