Как изменить заголовок командной строки, как на этом изображении? [Дубликат]
HTML5 имеет , который звучит правильным для Вас. В настоящее время только Opera поддерживает его исходно, но существует проект , который имеет реализацию JavaScript.
0
задан Avinash Raj
17.05.2020, 17:05
Ссылка
1 ответ
Можно попробовать этой командой:
PS1="\$(date +%H:%M:%S) $PS1"
у Вас может быть он более разработанный как это:
export PS1='\[\033[0m\]\[\033[0;30;47m\] \u\[\033[0m\]\[\033[0;30;47m\]@\h\[\033[0m\] \w\n\[\033[1;32m\] \@ \$ \[\033[0m\]'
, Если Вам не нравится он, просто смешайте с ним немного, для корректировки его для потребностей
0
ответ дан Max Bunker
17.05.2020, 17:05
Ссылка