Тема терминала Gnome изменения программно

Я знаю, что это старый вопрос, но.

почему бы просто не использовать подстроку подстановки.

в псевдокоде ....

String numberAsString = convertNumberToString(123456);
int numLength = V.length;//determine length of string

String separatedWithSpaces = null;

for(int i=1; i<=numlength; i++){//loop over the number
separatedWithSpaces += numberAsString.getCharacterAtPosition(i);
    if(i.mod(3)){//test to see if i when devided by 3 in an integer modulo,
    separatedWithSpaces += " ";

    }//end if

}//end loop

Я знаю, что это не в каком-то конкретном языке, но, надеюсь, вы поняли идею.

Дэвид

19
задан pufferfish 10 June 2009 в 09:42
поделиться

4 ответа

Это не делает то, что вы просили, но, вероятно, делает то, что вы хотите.

Вы можете изменить свой .bashrc (или эквивалентный файл инициализации оболочки) для установки приглашения в зависимости от того, используете ли вы ssh или нет.

т.е. поместите что-то вроде:

if [ -n $SSH_TTY ]; then
     export PS1=`echo -en '\033[42m\w\$ '`;
fi;

в конец вашего файла .bashrc на удаленной машине. \ 033 [42m - это код выхода ANSI , который меняет цвет фона на зеленый.

Таким образом, цвет фона вашего терминала будет зеленым (или пурпурным, или голубой или что-то еще) только , когда вы вошли в систему на удаленном компьютере.

8
ответ дан 30 November 2019 в 05:01
поделиться

Вы можете проверить параметры gnome-terminal:

gnome-terminal --help

дает

 --window-with-profile=PROFILENAME

Оберните это в сценарий оболочки:

#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

затем выполните

ssh-term

Если вы хотите изменить больше , изучите aterm и другие термины. Также обратите внимание на Devilspie, который может выполнять более динамические изменения на основе таких вещей, как заголовок окна (удаление оконных украшений и т. Д.).

http://burtonini.com/blog/computers/devilspie

3
ответ дан 30 November 2019 в 05:01
поделиться

Возможно, вам стоит взглянуть на GConf . По сути, это то же самое, что Реестр для Windows для Gnome. Большинство приложений Gnome используют его для хранения своих настроек. Вы можете просматривать его с помощью таких инструментов, как GConf-Editor , или из командной строки с помощью gconftool-2 :

$ gconftool-2 --all-entries /apps/gnome-terminal/profiles/Default
background_color = #000000000000
palette = #2E2E34343636:#CCCC00000000 [ snipped ]
... many more lines

Здесь вы найдете все настройки, доступные через диалоговое окно «Настройки», плюс еще немного. Ключи также можно изменить с помощью - set , подробности см. В " man gconftool-2 ".

Также существуют привязки библиотеки GConf для многих языков программирования.

3
ответ дан 30 November 2019 в 05:01
поделиться
export PROMPT_COMMAND='echo -ne "\033]0;${HOSTNAME}: ${PWD}\007"'
0
ответ дан 30 November 2019 в 05:01
поделиться
Другие вопросы по тегам:

Похожие вопросы: