File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4040 mkdir -p $out/bin
4141
4242 ${ lib . concatMapStringsSep "\n " ( k : ''
43- cat <<'WRAPPER' > $out/bin/${ k }
43+ ${ pkgs . coreutils } /bin/ cat <<'WRAPPER' > $out/bin/${ k }
4444 #!${ pkgs . bash } /bin/bash
4545 set -euo pipefail
4646
Original file line number Diff line number Diff line change 174174 help = "prints this menu" ;
175175 name = "menu" ;
176176 command = ''
177- cat <<'DEVSHELL_MENU'
177+ ${ pkgs . coreutils } /bin/ cat <<'DEVSHELL_MENU'
178178 ${ commandsToMenu config . commands }
179179 DEVSHELL_MENU
180180 '' ;
Original file line number Diff line number Diff line change 163163 done
164164
165165 if [[ -n "'' ${help:-}" ]]; then
166- cat <<USAGE
166+ ${ pkgs . coreutils } /bin/ cat <<USAGE
167167 Usage: ${ cfg . name }
168168 $0 -h | --help # show this help
169169 $0 [--pure] # start a bash sub-shell
387387 {
388388 motd = noDepEntry ''
389389 __devshell-motd() {
390- cat <<DEVSHELL_PROMPT
390+ ${ pkgs . coreutils } /bin/ cat <<DEVSHELL_PROMPT
391391 ${ cfg . motd }
392392 DEVSHELL_PROMPT
393393 }
Original file line number Diff line number Diff line change 9090 command =
9191 ( pkgs . writeShellScript "${ gName } -services-stop" ''
9292 if [ -e "$PRJ_DATA_DIR/pids/${ gName } .pid" ]; then
93- pid=$(cat "$PRJ_DATA_DIR/pids/${ gName } .pid")
93+ pid=$(${ pkgs . coreutils } /bin/ cat "$PRJ_DATA_DIR/pids/${ gName } .pid")
9494 kill -TERM $pid
9595 rm "$PRJ_DATA_DIR/pids/${ gName } .pid"
9696 fi
You can’t perform that action at this time.
0 commit comments