edubuntu-server-manage
Edubuntu server (host dependencies and scripts)
Install
- All systems
-
curl cmd.cat/edubuntu-server-manage.sh
- Ubuntu
-
apt-get install edubuntu-server-host - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install edubuntu-server-host - Dockerfile
- dockerfile.run/edubuntu-server-manage