Add back bash entry point
This commit is contained in:
parent
37d2a0df76
commit
7fccddac60
|
|
@ -7,6 +7,7 @@ inputs:
|
||||||
runs:
|
runs:
|
||||||
using: 'docker'
|
using: 'docker'
|
||||||
image: 'docker://nixos/nix'
|
image: 'docker://nixos/nix'
|
||||||
|
entrypoint: '/bin/bash'
|
||||||
args:
|
args:
|
||||||
- '-c'
|
- '-c'
|
||||||
- |
|
- |
|
||||||
|
|
@ -17,5 +18,5 @@ runs:
|
||||||
echo Cleaning up ergogen/output/pcbs/${board}.ses
|
echo Cleaning up ergogen/output/pcbs/${board}.ses
|
||||||
rm -f ergogen/output/pcbs/${board}.ses
|
rm -f ergogen/output/pcbs/${board}.ses
|
||||||
fi
|
fi
|
||||||
nix-shell --argstr board ${board} shell.nix
|
nix-shell --argstr board ${board} ./shell.nix
|
||||||
done
|
done
|
||||||
Loading…
Reference in New Issue