Showing
- shell.nix 22 additions, 14 deletionsshell.nix
- tools/create-vpn-keys.sh 42 additions, 0 deletionstools/create-vpn-keys.sh
- tools/default.nix 51 additions, 0 deletionstools/default.nix
- tools/get-vpn-config.nix 17 additions, 0 deletionstools/get-vpn-config.nix
- tools/pylib/README.rst 2 additions, 0 deletionstools/pylib/README.rst
- tools/pylib/ps_tools/__init__.py 35 additions, 0 deletionstools/pylib/ps_tools/__init__.py
- tools/update-github-repo 89 additions, 0 deletionstools/update-github-repo
- tools/update-gitlab-repo 89 additions, 0 deletionstools/update-gitlab-repo
- tools/update-nixpkgs 68 additions, 0 deletionstools/update-nixpkgs
This diff is collapsed.
tools/create-vpn-keys.sh
0 → 100755
This diff is collapsed.
tools/default.nix
0 → 100644
This diff is collapsed.
tools/get-vpn-config.nix
0 → 100644
This diff is collapsed.
tools/pylib/README.rst
0 → 100644
This diff is collapsed.
tools/pylib/ps_tools/__init__.py
0 → 100644
This diff is collapsed.
tools/update-github-repo
0 → 100755
This diff is collapsed.
tools/update-gitlab-repo
0 → 100755
This diff is collapsed.
tools/update-nixpkgs
0 → 100755
This diff is collapsed.