HACKING.md: how to exit development environment?
Current https://developer.pitivi.org/HACKING.html?gi-language=undefined says:
Whenever you want to hack on Pitivi, start a new terminal and enter the development environment:
$ cd pitivi-dev/pitivi && source bin/pitivi-env ...
... Note the prompt changes:
(ptv-flatpak) $
By entering the development environment, you get: ...
So - how do I exit this development environment? For instance, to exit a Python venv, one typically calls deactivate
- but there is no such command here ...
Hopefully the answer is not CTRL-D, as that would probably kill my ssh
session, where I'm trying to build pitivi from source ... (EDIT - yes, it both exits my docker environment, and the ssh shell, so make sure to run sudo docker images && sudo docker ps -a
and possibly commit the container, it's its difficult to go back where you were)