WIM (Werkdruk Inzicht en Monitor)

Testing phase -- voor al uw inzicht in wie wanneer druk is binnen WIO

Toevoegen van nieuwe collega's

Je kunt nieuwe collega's toevoegen door aan employees_list in wim.py de voornaam zonder hoofdletters toe te voegen. Vervolgens voeg je deze user toe aan de config.yaml. Hierbij voer je eerst een normaal wachtwoord in. Hierna run je lokaal de /scripts/create_hashed.py. Deze functie overschrijft dit wachtwoord met een hashed wachtwoord. Als je deze verandering naar de git pusht via een pull request kan de nieuwe collega vervolgens inloggen met het normale wachtwoord.

Verwijderen van oude collega's

Om een oude collega te verwijderen verwijder je de naam uit employees_list in wim.py. Vervolgens verwijder je de user met name and pw uit config.yaml. Als er een .csv beschikbaar is in the input_employees/ directory verwijder je hem daar ook.

Development

Github actions build the docker image that's automatically deployed to the dashboard server. Those actions also check a bit of formatting and do some basic syntax checks. To do those checks + automatic fixes locally, install "pre-commit" and run it:

$ pip install pre-commit  # You only need to do this once on your laptop
$ pre-commit run --all    # This runs checks + formatting

Server install

Installed via the regular dashboard auto-update setup.

Custom: the /app/input_employees/ directory is a docker volume on the server, so it is retained upon restarts. This also means that changes in the input_employees/ directory in this git repository are not synced to the directory on the server. (Apart from initially copying over the files when the volume on the server is created).