Skip to content

#821: make ide prefix editable in ide shell to allow non-ide commands - #2288

Merged
hohwille merged 6 commits into
devonfw:mainfrom
Ali-Shariati-Najafabadi:feature/821-remove-ide-prefix-shell
Aug 18, 2026
Merged

#821: make ide prefix editable in ide shell to allow non-ide commands#2288
hohwille merged 6 commits into
devonfw:mainfrom
Ali-Shariati-Najafabadi:feature/821-remove-ide-prefix-shell

Merge branch 'main' into feature/821-remove-ide-prefix-shell

9eccd57
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 18, 2026 in 3m 49s