guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

12/118: dev-shell is a bash script, not sh


From: Ludovic Courtès
Subject: 12/118: dev-shell is a bash script, not sh
Date: Tue, 19 May 2015 14:45:14 +0000

civodul pushed a commit to branch nix
in repository guix.

commit b1d39d476544644b2de8addb5ad3289fede2f95a
Author: Sönke Hahn <address@hidden>
Date:   Fri May 23 11:41:09 2014 +0800

    dev-shell is a bash script, not sh
    
    'type -p' does not work in e.g. dash
---
 dev-shell |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/dev-shell b/dev-shell
index a4fdc68..2fe62a4 100755
--- a/dev-shell
+++ b/dev-shell
@@ -1,4 +1,4 @@
-#! /bin/sh
+#!/usr/bin/env bash
 if [ -e tests/test-tmp ]; then
     chmod -R u+w tests/test-tmp
     rm -rf tests/test-tmp



reply via email to

[Prev in Thread] Current Thread [Next in Thread]