Add "include" directive to JSON #9018

Open
opened 2026-01-31 01:43:58 +00:00 by claunia · 0 comments
Owner

Originally created by @kellytrinh on GitHub (Jun 14, 2020).

Description of the new feature/enhancement

Suggest to add an #include or similar to the settings JSON.

I have in a bunch of profiles that launch SSH to connect to difference machines I am using. The list of machines is different from my laptop / devbox. Right now I cannot just take the settings JSON and put in another computer because it will mess up the profiles list.

This will allow me separate the profiles part (which may be computer specific) from the keybindings (which would be common).

Proposed technical implementation details (optional)

I have a common settings JSON that I can take between commons and add/remove profiles on a seperate file on each specific computer.

Originally created by @kellytrinh on GitHub (Jun 14, 2020). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> # Description of the new feature/enhancement Suggest to add an #include or similar to the settings JSON. <!-- A clear and concise description of what the problem is that the new feature would solve. Describe why and how a user would use this new functionality (if applicable). --> I have in a bunch of profiles that launch SSH to connect to difference machines I am using. The list of machines is different from my laptop / devbox. Right now I cannot just take the settings JSON and put in another computer because it will mess up the profiles list. This will allow me separate the profiles part (which may be computer specific) from the keybindings (which would be common). # Proposed technical implementation details (optional) <!-- A clear and concise description of what you want to happen. --> I have a common settings JSON that I can take between commons and add/remove profiles on a seperate file on each specific computer.
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 01:43:58 +00:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#9018