Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/mdbranch2
-rwxr-xr-xscripts/mdget2
-rwxr-xr-xscripts/mdtag2
3 files changed, 3 insertions, 3 deletions
diff --git a/scripts/mdbranch b/scripts/mdbranch
index 0dfaeecf3b..d32f7f4497 100755
--- a/scripts/mdbranch
+++ b/scripts/mdbranch
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
version=1.9
prefix=/usr/local
profile=dist
diff --git a/scripts/mdget b/scripts/mdget
index 8c6f6e6408..ff4f3b59bc 100755
--- a/scripts/mdget
+++ b/scripts/mdget
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
version=
prefix=/usr/local
profile=stable
diff --git a/scripts/mdtag b/scripts/mdtag
index 4fb8fa24e6..a574f46ec4 100755
--- a/scripts/mdtag
+++ b/scripts/mdtag
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
usage ()
{