Tools for labs

Author

Ludovic Deneuville

Instructions

  • In the lab instructions, you have to replace <...> with an appropriate value.
Example
  • git commit -m "<explicit message>"
  • ➡️ git commit -m "fix: log in error"
  • Don’t skip a step that didn’t work, telling yourself that it doesn’t matter. This may cause problems later on.

Exercices repository

Datalabs

Important

You require resources to start your services, the datalabs are available for that purpose.

Once you have completed your tasks, make sure to free up these resources by deleting or pausing your services.

Custom service

URLs to launch custom VSCode-python services for:

🚧

In these labs, we will need a customised VSCode service, different from the one offered in the catalogue:

  • by installing additional Python packages
  • by modifying certain extensions
    • using ➕ Ruff instead of ➖ Flake8 to format the code
  • by opening a specific port to deploy an API

There are several ways to customise a service:

  • Launch the catalogue service, then modify it by executing commands manually
  • Use an initialisation script that will run immediately after the catalogue service is launched
    • In the form before Launch: Initialization scripts
  • Create and use a Docker image based on the original service
    • In the form before Launch: Service > Use a custom image
pip install inquirerPy psycopg2-binary pytest python-dotenv tabulate

code-server --install-extension charliermarsh.ruff
code-server --uninstall-extension ms-python.flake8
Important

Opening the port to deploy the API must be done before launching the service; after that, it is too late, and you will have to delete it and start over.

VSCode

Open Folder

File > Open Folder > /home/onyxia/work/<repo_name> > OK

Caution

Open Folder allows you to determine the root folder you are currently in.

To find out the current folder, look at the top left of the explorer for the parent folder.

This choice is very important because imports between Python modules use relative paths.

Git

Git tuto

Command Description
git clone https://....git Creates a copy of a remote repository in your local directory.
git add . Stages all changes for the next commit.
git commit -m "<explicit message>" Commits the staged changes to the local repository.
git push Uploads local changes to a remote repository.
git pull Merge changes from a remote to the local repository.
git switch <branch> Switches to the specified branch.