devbox.json

{
  "packages": [
    "[email protected]",
    "stdenv.cc.cc.lib",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "[email protected]",
    "python310Packages.pip"
  ],
  "shell": {
    "init_hook": [
      ". $VENV_DIR/bin/activate",
      "export PS1='🦗 Mantis > '",
      "alias mantis='python /opt/mantis/launch.py'",
      "alias help='python /opt/mantis/launch.py --help'",
      "cd /opt/mantis"
    ],
    "scripts": {
      "setup": [
        ". $VENV_DIR/bin/activate",
        "pip install git+https://github.com/cisagov/findcdn.git --quiet",
        "pip install -r requirements.txt",
        "chmod 777 -R /opt/mantis",
        "chmod 777 -R /opt/mantis/.devbox"
      ]
    }
  }
}