.devcontainer/startup.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh

# echo "Configure direnv"
# echo "eval \"$(direnv hook bash)\"" >> ~/.bashrc

echo "Upgrading pip"
pip install --upgrade pip

echo "Installing ANTA package from git"
pip install -e .

echo "Installing development tools"
pip install -e ".[dev]"