Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Profile Options -> Hide #7727

Closed
NJT145 opened this issue Jan 3, 2023 · 7 comments
Closed

Profile Options -> Hide #7727

NJT145 opened this issue Jan 3, 2023 · 7 comments
Labels

Comments

@NJT145
Copy link

NJT145 commented Jan 3, 2023

Describe the problem:

  1. There is no option to hide any custom profile.
  2. There is no option to hide any profiles from "Default profile" selection menu.
  3. There is no option to restore default settings of a built-in profile.

Describe the solution you'd like:

  1. Add option to hide custom profiles. You can add a bool value of HIDDEN status to each profile which is False as default, and hide the profiles with HIDDEN=True.
  2. Add an option to hide built-in profiles from "Default profile" selection menu. You can add another bool value to each built-in profiles for that, or you can add an option to "Advanced" tab to hide hidden built-in profiles from "Default profile" selection menu, or you can hide all hidden profile from "Default profile" selection menu (if you do my next suggestion).
  3. Copy all built-in profiles as custom profiles (if you cannot get default values for each settings later). Stop showing built-in profiles and make the copies of the built-in profile locked to delete, but allow to edit. Add on option to restore these copies of built-in profiles, which will get the values from built-in profiles.
@Uj947nXmRqV2nRaWshKtHzTvckUUpD
Copy link

Uj947nXmRqV2nRaWshKtHzTvckUUpD commented May 18, 2023

having several OS shells quickly add up to the built-in list, making hard to find easily what you need in the list. the app needs an option to hide certain built-in profiles from "profiles and connections" list

@Eugeny
Copy link
Owner

Eugeny commented May 18, 2023

Settings -> Profiles -> Advanced -> "Show built-in profiles"

@Eugeny Eugeny closed this as completed May 18, 2023
@Uj947nXmRqV2nRaWshKtHzTvckUUpD

the idea is to hide certain built-in profiles, not all of them. is this tracked in any issue?

@Eugeny
Copy link
Owner

Eugeny commented May 18, 2023

I don't think so - but wouldn't just duplicating the built-in profiles that you need and then hiding all of them be an acceptable workaround?

@NJT145
Copy link
Author

NJT145 commented May 20, 2023

I don't think so - but wouldn't just duplicating the built-in profiles that you need and then hiding all of them be an acceptable workaround?

no, not at all. I don't want to see all profiles in my custom profiles at menu. I want to keep some of them as hidden. That's NOT A SOLUTION.

@NJT145
Copy link
Author

NJT145 commented May 20, 2023

This is not only hiding built-in profiles, but also hiding some custom profiles when we don't need them. Don't want to create each profile again, just wnt to hide them when I need to hide them.

@Uj947nXmRqV2nRaWshKtHzTvckUUpD

totally agree, similar to Windows Terminal you should be able to hide a profile from the list under settings

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants