DavHau 148e8b0ac0 devShells: one global python devshell + activation via command ...

- this adds devShells.{system}.python
- a 'select-shell' command to switch between devshells

2024-03-01 18:16:38 +07:00

..

select-shell.py

devShells: one global python devshell + activation via command

2024-03-01 18:16:38 +07:00