Add custom command support #284

2016-03-21T21:42:36+01: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.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: seeseemelk/cool-retro-term#284