Comments (5)
@timblaktu after importing the wsl machine, it should be possible to open it without restarting Terminal
and it is! Just not from the drop-down menu. Run wsl -d your_new_distro
inside the terminal w/out restarting it.
from terminal.
I would understand if this behavior is "as-designed" and therefore this converted to a feature request.
This is indeed currently as-designed. Finding new profiles is not super expensive, but it's definitely not cheap, so we can't do it every time that menu is opened. In the past we had considered reworking how profiles are generated: Instead of them being automatically added on startup, we'd just offer them in the settings tab. If we did that we could just refresh the list whenever the settings are opened.
from terminal.
@lhecker please add a command to refresh the profiles instead of triggering a reload every time I click on the dropdown menu.
from terminal.
Another terrible thought I just had -
what if we had like, a singular well-known filepath that we don't actually read from, but just listen to for modifications. Then, regardless of which branding / packaging you're on, if an extension source (in this case, WSL) makes changes to the list of profiles, they can touch
that file, and cause all terminals to reload their settings.
from terminal.
Okay so discussion notes:
- What if dynamic profiles weren't generated as whole stub profiles, but as "tasks" / "workflows" / whatever the non-appearance half of a profile is. The thing Dustin's been talking about for years.
- We could generate those freely when the SUI is opened.
- Then the new tab menu would never be updated automatically for new dynamic profiles
- but you could easily add a new profile with that "task"
- and we wouldn't need to store the generated & deleted GUIDs in state.json
- and you could get a little list item with "there are 3 new tasks" in the dropdown or something
from terminal.
Related Issues (20)
- encoding problem HOT 7
- Leading tabs in pasted text can be interpreted as tab-completion instead of tab character (\t) HOT 4
- Regression in launching links HOT 5
- Current clipboard text is pasted into the terminal when dragging the current tab page HOT 8
- [UI] there is a top edge white line HOT 3
- Alt + numpad combination does not work anymore HOT 4
- move the tab,the copied text will be pasted into the inputbox of the active tab HOT 3
- An attempt to improve performance of terminal/parser HOT 1
- Duplicate tab does not use the same command as the original tab HOT 4
- `exit` comand is not working when `code .` is opened HOT 1
- Windows PowerShell remote ssh vim copy to clipboard not works HOT 12
- An app opened from inside Terminal stays behind Terminal (but above other apps) HOT 2
- Windows Terminal crashes when combining duplicateTab with moveTab in multipleActions
- Incorrect emoji widths with conhost and openconsole HOT 1
- regex search occasionally hits bounds assert in UTextAdapter HOT 1
- Allow 3p suggestion sources HOT 1
- please make windows terminal into microsoft terminal with gtk3 buttons HOT 3
- `powershell.exe` starts a new console rather than attaching to current when not elevated HOT 6
- Wrapping over multiple lines in a single write fails in conhost
- Windows Terminal Preview consistently crashes when closing panes in certain layouts HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from terminal.