useto/portal repository overview

⁠portal

A tool for setups with dockerized workspaces

⁠Installation

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!

⁠Example

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

⁠Configuration

Use the run⁠ directory to execute some scripts on startup.

⁠Exiting

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

⁠Persistence

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