mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
tweak gitpod
This commit is contained in:
parent
795ce8bda0
commit
f9f946096a
@ -9,7 +9,7 @@ tasks:
|
||||
[ -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 && open ~/.ssh/authorized_keys
|
||||
mkdir -p ~/.ssh && code ~/.ssh/authorized_keys
|
||||
clear
|
||||
echo "=============="
|
||||
echo " INSTRUCTIONS "
|
||||
|
Loading…
Reference in New Issue
Block a user