Skip to content
Snippets Groups Projects

nix: Add hashbang for scripts.

Merged Niklas Hambüchen requested to merge nh2/ghc-utils:nh2fixes into master
1 file
+ 9
0
Compare changes
  • Side-by-side
  • Inline
+ 9
0
@@ -25,10 +25,16 @@ with nixpkgs; rec {
};
run-ghc-gdb = writeScriptBin "ghc-gdb" ''
#!${pkgs.bash}/bin/bash
set -eu -o pipefail
${gdb}/bin/gdb -x ${gdbinit}/gdbinit "$@"
'';
run-ghc-rr = writeScriptBin "ghc-rr" ''
#!${pkgs.bash}/bin/bash
set -eu -o pipefail
args="$@"
if [[ "$1" == "replay" ]]; then
args="$args --debugger ${gdb}/bin/gdb -x ${gdbinit}/gdbinit"
@@ -82,6 +88,9 @@ with nixpkgs; rec {
# useful to render `ghc closure-deps` output
dot2svg = writeScriptBin "dot2svg" ''
#!${pkgs.bash}/bin/bash
set -eu -o pipefail
if [[ $# == 0 ]]; then
echo "Usage: $0 [dot file]"
exit 1
Loading