Add custom command support #284

Merged
EaterOA merged 3 commits from master into master 2016-05-20 15:16:45 +02:00
EaterOA commented 2016-03-21 21:42:36 +01:00 (Migrated from github.com)

Gnome Terminal has a profile-specific setting to run an arbitrary command on startup instead of the default shell. I know CRT has a -e option on the CLI, but I think it'd be more useful to have a dedicated setting bound to each profile.

This PR adds that custom command setting. The setting can be changed in the General tab in the settings menu. Loading/changing the setting will only affect the next term that starts. The -e option still works, and would override the custom command as expected.

Gnome Terminal has a profile-specific setting to run an arbitrary command on startup instead of the default shell. I know CRT has a -e option on the CLI, but I think it'd be more useful to have a dedicated setting bound to each profile. This PR adds that custom command setting. The setting can be changed in the General tab in the settings menu. Loading/changing the setting will only affect the next term that starts. The -e option still works, and would override the custom command as expected.
Swordfish90 commented 2016-05-20 15:16:48 +02:00 (Migrated from github.com)

Hi @EaterOA ... Thank you! Looks good.

Hi @EaterOA ... Thank you! Looks good.
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: seeseemelk/cool-retro-term#284
No description provided.