mirror of https://github.com/01-edu/public.git
Browse Source
- replace bash command with source to update current bash PATH and not a sub-bash one - replace binary with simple bash script - image has no access to internet - update subject accordinglypull/1751/head
nprimo
2 years ago
committed by
Niccolò Primo
2 changed files with 10 additions and 12 deletions
Loading…
Reference in new issue