mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Update .gitpod.yml
This commit is contained in:
parent
568e7b5820
commit
0b311ebb0b
10
.gitpod.yml
10
.gitpod.yml
@ -8,16 +8,6 @@ tasks:
|
||||
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: |
|
||||
mkdir -p ~/.ssh && code ~/.ssh/authorized_keys
|
||||
echo "1. Add your public SSH key to the SSH_KEY environment variable before laun"
|
||||
echo ""
|
||||
echo "2. Install Chisel on your local machine, e.g. curl https://i.jpillora.com/chisel! | bash"
|
||||
echo " see https://github.com/jpillora/chisel"
|
||||
echo ""
|
||||
echo "3. Connect via SSH from your local machine:"
|
||||
echo " ssh -o ProxyCommand='chisel client $(gp url 8080) stdio:%h:%p' gitpod@localhost -p 2222"
|
||||
echo ""
|
||||
- command: |
|
||||
mkdir -p ~/.ssh
|
||||
if test -z "$SSH_KEY"; then
|
||||
|
Loading…
Reference in New Issue
Block a user