Я знаю, что это старый вопрос, но.
почему бы просто не использовать подстроку подстановки.
в псевдокоде ....
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
Я знаю, что это не в каком-то конкретном языке, но, надеюсь, вы поняли идею.
Дэвид
Это не делает то, что вы просили, но, вероятно, делает то, что вы хотите.
Вы можете изменить свой .bashrc
(или эквивалентный файл инициализации оболочки) для установки приглашения в зависимости от того, используете ли вы ssh или нет.
т.е. поместите что-то вроде:
if [ -n $SSH_TTY ]; then
export PS1=`echo -en '\033[42m\w\$ '`;
fi;
в конец вашего файла .bashrc
на удаленной машине. \ 033 [42m
- это код выхода ANSI , который меняет цвет фона на зеленый.
Таким образом, цвет фона вашего терминала будет зеленым (или пурпурным, или голубой или что-то еще) только , когда вы вошли в систему на удаленном компьютере.
Вы можете проверить параметры gnome-terminal:
gnome-terminal --help
дает
--window-with-profile=PROFILENAME
Оберните это в сценарий оболочки:
#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME
затем выполните
ssh-term
Если вы хотите изменить больше , изучите aterm и другие термины. Также обратите внимание на Devilspie, который может выполнять более динамические изменения на основе таких вещей, как заголовок окна (удаление оконных украшений и т. Д.).
Возможно, вам стоит взглянуть на 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 для многих языков программирования.
export PROMPT_COMMAND='echo -ne "\033]0;${HOSTNAME}: ${PWD}\007"'