Запуск пользовательской команды в профиле `gnome-terminal`

Question 1

Я создал пользовательский профиль gnome-terminal в Ubuntu 16.04, чтобы настроить конкретную среду разработки. Однако я не могу понять, что ввести в качестве профиля custom command.

Что я хочу сделать для моего нового профиля терминала:

Запустить все сценарии по умолчанию, которые обычно запускаются по умолчанию (.bashrc и т. д.) Запуск пользовательского скрипта (например, $HOME/.dev_profile) [ ! d2]

Какова должна быть моя пользовательская команда?

Question 2

[ПРИМЕЧАНИЕ: в следующем я вызвал файл инициализации пользовательской оболочки .devrc, а не .dev_profile, чтобы сохранить различие между инициализацией логина и без входа.]

Примечание также что этот ответ предполагает, что то, что вы действительно хотите сделать, это создать настраиваемую среду, а не выполнять пользовательскую команду.

. Один из способов сделать это - создать пользовательский файл инициализации (.devrc, скажем), который выдает стандартные файлы, а затем добавляет ваши настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

Затем в вашем профиле gnome-terminal вы можете настроить Custom Command для использования альтернативного файла rc [ ! d7]

/bin/bash --rcfile "/home/steeldriver/.devrc"

Question 3

Question 4

[Примечание: в следующем, я позвонил в нестандартный файл инициализации оболочки .devrc, а не [F4] для того, чтобы сохранить различие между логина и номера-оболочки входа в систему инициализации.]

отметим также, что этот ответ предполагает, что то, что вы действительно хотите сделать, это источник пользовательской среде, а не запускать пользовательские команды.

один из способов сделать это было бы создать пользовательский файл инициализации (.devrc, говорят), что источники не только стандартные файлы, а затем добавляет настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

, то в гном-терминале профиль, вы можете установить пользовательскую команду, чтобы использовать альтернативный RC-файл

/bin/bash --rcfile "/home/steeldriver/.devrc"

Question 5

[ПРИМЕЧАНИЕ: в следующем я вызвал файл инициализации пользовательской оболочки .devrc, а не .dev_profile, чтобы сохранить различие между инициализацией логина и без входа.]

Примечание также что этот ответ предполагает, что то, что вы действительно хотите сделать, это создать настраиваемую среду, а не выполнять пользовательскую команду.

. Один из способов сделать это - создать пользовательский файл инициализации (.devrc, скажем), который выдает стандартные файлы, а затем добавляет ваши настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

Затем в вашем профиле gnome-terminal вы можете настроить Custom Command для использования альтернативного файла rc [ ! d7] /bin/bash --rcfile "/home/steeldriver/.devrc"

Question 6

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

Question 7

Question 8

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

Question 9

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

steeldriver · Accepted Answer · 22 May 2018 в 23:15

[ПРИМЕЧАНИЕ: в следующем я вызвал файл инициализации пользовательской оболочки .devrc, а не .dev_profile, чтобы сохранить различие между инициализацией логина и без входа.]

Примечание также что этот ответ предполагает, что то, что вы действительно хотите сделать, это создать настраиваемую среду, а не выполнять пользовательскую команду.

. Один из способов сделать это - создать пользовательский файл инициализации (.devrc, скажем), который выдает стандартные файлы, а затем добавляет ваши настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

Затем в вашем профиле gnome-terminal вы можете настроить Custom Command для использования альтернативного файла rc [ ! d7]

/bin/bash --rcfile "/home/steeldriver/.devrc"

steeldriver · Accepted Answer · 18 July 2018 в 14:18

[Примечание: в следующем, я позвонил в нестандартный файл инициализации оболочки .devrc, а не [F4] для того, чтобы сохранить различие между логина и номера-оболочки входа в систему инициализации.]

отметим также, что этот ответ предполагает, что то, что вы действительно хотите сделать, это источник пользовательской среде, а не запускать пользовательские команды.

один из способов сделать это было бы создать пользовательский файл инициализации (.devrc, говорят), что источники не только стандартные файлы, а затем добавляет настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

, то в гном-терминале профиль, вы можете установить пользовательскую команду, чтобы использовать альтернативный RC-файл

/bin/bash --rcfile "/home/steeldriver/.devrc"

steeldriver · Accepted Answer · 24 July 2018 в 20:22

[ПРИМЕЧАНИЕ: в следующем я вызвал файл инициализации пользовательской оболочки .devrc, а не .dev_profile, чтобы сохранить различие между инициализацией логина и без входа.]

Примечание также что этот ответ предполагает, что то, что вы действительно хотите сделать, это создать настраиваемую среду, а не выполнять пользовательскую команду.

. Один из способов сделать это - создать пользовательский файл инициализации (.devrc, скажем), который выдает стандартные файлы, а затем добавляет ваши настройки, например:

$ cat ~/.devrc
#
# Custom .bashrc for develeopment terminal profile
# 
if [ -r "/etc/bash.bashrc" ]; then
    . "/etc/bash.bashrc"
fi

if [ -r "$HOME/.bashrc" ]; then
    . "$HOME/.bashrc"
fi

# add your dev-specific stuff here
export myvar1=foo
export myvar2=bar

Затем в вашем профиле gnome-terminal вы можете настроить Custom Command для использования альтернативного файла rc [ ! d7] /bin/bash --rcfile "/home/steeldriver/.devrc"

M. Becerra · Answer 4 · 22 May 2018 в 23:15

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

Кажется, что не работает - по крайней мере, если я заменил source $HOME/.dev_profile на echo dev_profile, я ничего не получил в новом терминале. Нет ли способа сделать это с настройкой custom command профиля терминала? Для изменения файла .desktop мне нужно снова выйти / войти в систему, чтобы проверить его. — Andrew Marshall, 25 April 2017 в 15:37

M. Becerra · Answer 5 · 18 July 2018 в 14:18

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

M. Becerra · Answer 6 · 24 July 2018 в 20:22

Вы можете просто создать файл .desktop, чтобы открыть терминал с нужным профилем и запустить скрипт в таком терминале.

Файл .desktop:

[Desktop Entry]
Encoding=UTF-8
Name=Edit to add name
Exec=gnome-terminal -e --window-with-profile=PROFILENAME "source $HOME/.dev_profile"
Terminal=true
Type=Application
NoDisplay=true

] Обратите внимание, что вы можете установить в настройках профиля, хотите ли вы, чтобы открытый терминал оставался открытым или нет, после завершения сценария.

Кажется, что не работает - по крайней мере, если я заменил source $HOME/.dev_profile на echo dev_profile, я ничего не получил в новом терминале. Нет ли способа сделать это с настройкой custom command профиля терминала? Для изменения файла .desktop мне нужно снова выйти / войти в систему, чтобы проверить его. — Andrew Marshall, 25 April 2017 в 15:37

Запуск пользовательской команды в профиле `gnome-terminal`

6 ответов

Другие вопросы по тегам:

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