mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 09:20:24 +03:00
dfae4580e3
Add support for TLS connections in both the rpc server and client. Allow the client to disable certificate validation via the `verify` keyword argument, i.e., `cryptol.connect(verify=False)`. The docker container for `cryptol-remote-api` also contains a self-signed cert for testing purposes. Co-authored-by: Andrew Kent <andrew@galois.com>
39 lines
1.3 KiB
YAML
39 lines
1.3 KiB
YAML
image:
|
|
file: .gitpod.Dockerfile
|
|
vscode:
|
|
extensions:
|
|
- haskell.haskell
|
|
- justusadam.language-haskell
|
|
tasks:
|
|
- name: TCP Tunnel
|
|
command: chisel server --socks5
|
|
- name: SSH Server
|
|
command: |
|
|
[ -f /workspace/dropbear.hostkey ] || dropbearkey -t rsa -f /workspace/dropbear.hostkey
|
|
dropbear -r /workspace/dropbear.hostkey -F -E -s -p 2222 -P ~/dropbear.pid
|
|
- command: |
|
|
cabal v2-update
|
|
test -e cabal.project.freeze && exit 0
|
|
FREEZE=cabal.GHC-$(ghc --numeric-version).config
|
|
test -e $FREEZE && ln -s $FREEZE cabal.project.freeze
|
|
- command: |
|
|
mkdir -p ~/.ssh
|
|
if test -z "$SSH_KEY"; then
|
|
echo "Warning: SSH_KEY not set, skipping SSH setup"
|
|
else
|
|
echo "$SSH_KEY" >> ~/.ssh/authorized_keys
|
|
echo "1. Install Chisel on your local machine, e.g. curl https://i.jpillora.com/chisel! | bash"
|
|
echo " see https://github.com/jpillora/chisel"
|
|
echo ""
|
|
echo "2. Connect via SSH from your local machine:"
|
|
echo " ssh -o ProxyCommand='chisel client $(gp url 8080) stdio:%h:%p' gitpod@localhost -p 2222"
|
|
echo ""
|
|
fi
|
|
ports:
|
|
- port: 8080
|
|
- port: 2222
|
|
onOpen: ignore
|
|
- port: 2375
|
|
onOpen: ignore
|
|
- port: 43022
|
|
onOpen: ignore |