Я начинаю новый сеанс работы с bash, используя такую команду:exec bash --init-file <(cat /etc/profile ~/.bashrc $ANOTHER_SCRIPT) -i
Я также хотел бы изменить приглашение новой сессии, не добавляя еще один файл инициализации ... Я подозреваю, что моя лучшая ставка выглядит примерно так:
exec bash --init-file <(cat /etc/profile ~/.bashrc $ANOTHER_SCRIPT; echo "PS1='[TEST] '$PS1") -i
Я думаю, что мои проблемы касаются экранированных символов ..... но я совершенно не понимаю, как продолжать решать эту проблему, добавляя мой ярлык к приглашению.
Любые мысли очень ценятся,
Эндрю