A tool for setups with dockerized workspaces
All you need to get started is docker, xorg and bash.
After that you have to clone this repository: git clone https://github.com/use-to/portal
Thats it!
To run your own dockerized workspace use the following command:
bash start.sh useto/portal 2
-
bash- unix shell -
start.sh- startup script -
useto/portal- minimal testing image with i3, rofi and polybar -
2- vt number
Make sure you run this script with the right permissions. Maybe you have to use:
sudo bash start.sh useto/portal 2
Use the run directory to execute some scripts on startup.
You can switch your virtual console with CTRL+ALT+FX. The X is for example 1 for tty1.
After that you can delete your workspace by running the stop script with the right permissions:
bash stop.sh 2
The tool creates a persistent directory on the host (~/portal_data) and mounts it into the workspace (~/data).
If you want to keep some changes like installed packages you can commit your running container into an image:
bash commit.sh 2 portal_commit