mirror of
https://github.com/urbit/shrub.git
synced 2024-12-25 04:52:06 +03:00
docker: add exec to final urbit invocation
This commit is contained in:
parent
d37ad069d7
commit
685ef12e8f
@ -42,7 +42,7 @@ let
|
|||||||
dirs=( $dirnames )
|
dirs=( $dirnames )
|
||||||
dirname=''${dirnames[0]}
|
dirname=''${dirnames[0]}
|
||||||
|
|
||||||
urbit $ttyflag -p ${toString amesPort} $dirname
|
exec urbit $ttyflag -p ${toString amesPort} $dirname
|
||||||
'';
|
'';
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user