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 'main/mdtool.in')
-rw-r--r--main/mdtool.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/mdtool.in b/main/mdtool.in
index a6fec1831a..614f0b3943 100644
--- a/main/mdtool.in
+++ b/main/mdtool.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
#this script should be in $PREFIX/bin
MONO_EXEC="exec -a mdtool mono"