Change 'Settings' to 'Settings file' #2312

Closed
opened 2026-01-30 22:52:05 +00:00 by claunia · 7 comments
Owner

Originally created by @mcpiroman on GitHub (Jun 27, 2019).

Since a lot of people have issues with what does the "Settings" button, maybe it's better to clarify it by temporarily changing it to "Settings file" or "Open settings file".

Originally created by @mcpiroman on GitHub (Jun 27, 2019). Since a lot of people have issues with what does the "Settings" button, maybe it's better to clarify it by temporarily changing it to "Settings file" or "Open settings file".
Author
Owner

@andrewbaker-uk commented on GitHub (Jun 27, 2019):

Or even better a settings window which provides the same options as editing the settings file. I disagree with changing the name though. "Settings file" or "Open settings file" is too wordy. Settings on its own keeps it simple

@andrewbaker-uk commented on GitHub (Jun 27, 2019): Or even better a settings window which provides the same options as editing the settings file. I disagree with changing the name though. "Settings file" or "Open settings file" is too wordy. Settings on its own keeps it simple
Author
Owner

@mcpiroman commented on GitHub (Jun 27, 2019):

@theterminator3000, Yes of course, there will eventually be a settings window, such as users expect. But for a time it is not, it might be better to call the button after what it is actually doing i.e. opening settings file ( what apparently isn't what users expect, see issues like #1580 or #1664).

@mcpiroman commented on GitHub (Jun 27, 2019): @theterminator3000, Yes of course, there will eventually be a settings window, such as users expect. But for a time it is not, it might be better to call the button after what it is actually doing i.e. opening settings file ( what apparently isn't what users expect, see issues like #1580 or #1664).
Author
Owner

@yidhoe commented on GitHub (Jun 27, 2019):

Hey guys \ girls,

This all sounds great, however I would like to add a request to Keep the "Settings File" in the long run too, even if you can't edit it from here.

I manage over 1000 machine and it would be very useful to be able to deploy setting to all of these so they terminals are reconfigured as required.

So for this reason long term I would like to request the ability to configure it by file or through the settings window.

Maybe the there could be an Import \ Export settings option too for those who aren't scripting everything but do want to be able to have a standard set of settings.

Probably already on your list but just in case.

*Keep up the good work, massive improvement on the current MS Terminal Already! :)

@yidhoe commented on GitHub (Jun 27, 2019): Hey guys \ girls, This all sounds great, however I would like to add a request to Keep the "Settings File" in the long run too, even if you can't edit it from here. I manage over 1000 machine and it would be very useful to be able to deploy setting to all of these so they terminals are reconfigured as required. So for this reason long term I would like to request the ability to configure it by file or through the settings window. Maybe the there could be an Import \ Export settings option too for those who aren't scripting everything but do want to be able to have a standard set of settings. Probably already on your list but just in case. *Keep up the good work, massive improvement on the current MS Terminal Already! :)
Author
Owner

@JushBJJ commented on GitHub (Jun 27, 2019):

I'm sure you're talking about #1567

@JushBJJ commented on GitHub (Jun 27, 2019): I'm sure you're talking about #1567
Author
Owner

@yidhoe commented on GitHub (Jun 27, 2019):

No actuallky.

Personally the location does not fuss me as it would be scripted anyway, I just want to ensure that the settings remain in a fil we can easily edit and copy between machines in the long run.

As nice as a GUI is having both options is always better. :)

@yidhoe commented on GitHub (Jun 27, 2019): No actuallky. Personally the location does not fuss me as it would be scripted anyway, I just want to ensure that the settings remain in a fil we can easily edit and copy between machines in the long run. As nice as a GUI is having both options is always better. :)
Author
Owner

@JushBJJ commented on GitHub (Jun 27, 2019):

Then you probably mean #1564

@JushBJJ commented on GitHub (Jun 27, 2019): Then you probably mean #1564
Author
Owner

@miniksa commented on GitHub (Jun 27, 2019):

We're not changing the name of the button right now for the interim state. It's an alpha product.

Our intent is to have a Settings UI and we will certainly make the file still accessible or more accessible than it is now per the linked issues by @JushBJJ.

Resolving.

@miniksa commented on GitHub (Jun 27, 2019): We're not changing the name of the button right now for the interim state. It's an alpha product. Our intent is to have a Settings UI and we will certainly make the file still accessible or more accessible than it is now per the linked issues by @JushBJJ. Resolving.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#2312