File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3939 mkdir -p $out/bin
4040
4141 ${ lib . concatMapStringsSep "\n " ( k : ''
42- cat <<'WRAPPER' > $out/bin/${ k }
42+ ${ pkgs . coreutils } /bin/ cat <<'WRAPPER' > $out/bin/${ k }
4343 #!${ pkgs . bash } /bin/bash
4444 set -euo pipefail
4545
Original file line number Diff line number Diff line change 179179 help = "prints this menu" ;
180180 name = "menu" ;
181181 command = ''
182- cat <<'DEVSHELL_MENU'
182+ ${ pkgs . coreutils } /bin/ cat <<'DEVSHELL_MENU'
183183 ${ commandsToMenu config . commands }
184184 DEVSHELL_MENU
185185 '' ;
Original file line number Diff line number Diff line change 173173 done
174174
175175 if [[ -n "'' ${help:-}" ]]; then
176- cat <<USAGE
176+ ${ pkgs . coreutils } /bin/ cat <<USAGE
177177 Usage: ${ cfg . name }
178178 $0 -h | --help # show this help
179179 $0 [--pure] # start a bash sub-shell
397397 {
398398 motd = lib . noDepEntry ''
399399 __devshell-motd() {
400- cat <<DEVSHELL_PROMPT
400+ ${ pkgs . coreutils } /bin/ cat <<DEVSHELL_PROMPT
401401 ${ cfg . motd }
402402 DEVSHELL_PROMPT
403403 }
Original file line number Diff line number Diff line change 9696 command =
9797 ( pkgs . writeShellScript "${ gName } -services-stop" ''
9898 if [ -e "$PRJ_DATA_DIR/pids/${ gName } .pid" ]; then
99- pid=$(cat "$PRJ_DATA_DIR/pids/${ gName } .pid")
99+ pid=$(${ pkgs . coreutils } /bin/ cat "$PRJ_DATA_DIR/pids/${ gName } .pid")
100100 kill -TERM $pid
101101 rm "$PRJ_DATA_DIR/pids/${ gName } .pid"
102102 fi
You can’t perform that action at this time.
0 commit comments