Compare commits

..

No commits in common. "7eb4e46ff39deba2a0cec32d983fffb664689971" and "b590ef038b28cc91ceeccd2defab1f1c3ac5ae42" have entirely different histories.

2 changed files with 8 additions and 7 deletions

View File

@ -6,12 +6,6 @@ This is a very experimental tool, **it may be working**. Any suggestion or PR is
## Install docker
https://docs.docker.com/get-docker/
## Initialize it
The directory `config` must contain a `users.txt`, containing one username per line, or a `passwords.txt` file, containing `username=password` lines.
If you do not provide a password file, it will be generated from user file.
The password file is the database from which users/passwords are created in the system.
Aditionnaly, you can add a file named `./config/init.sh` which will be executed (as root) before starting the servers. It is usefull for debuging and customisation purposes!
## Run it
While in this file directory, open a terminal and run the following command (the download can be very long…).
```
@ -19,6 +13,11 @@ docker run -it --name pythonsandbox --rm --network host -v "$(pwd)"/production_e
```
(Logs will flow in your terminal, CTRL+C will stop the process).
## Initialize it
The directory `config` must contain a `users.txt` containing one username per line, or a `passwords.txt` file, containing `username=password` lines.
If you do not provide a password file, it will be generated from user file.
The password file is the database from which users/passwords are created in the system.
APermitRootLogindditionnaly, you can add a file named `./config/init.sh` which will be executed (as root) before starting the servers. It is usefull for debuging and customisation purposes!
## Use it
You can now ssh into your localhost (and others computer on the same network can ssh into your host).
@ -26,7 +25,7 @@ Usernames and passwords are the one provided in the password file.
Students home directories are then listed in the `production_eleves` directory.
## Debug it
You can open a shell (as root) in the container anytime by running this command on the docker host:
You can open a shell in the container anytime by running this command on the docker host:
```
docker exec -it pythonsandbox bash
```

View File

@ -0,0 +1,2 @@
def func2_1():
return 'Bonjour de func2_1'