diff options
| author | Luca Bruno <lucabru@src.gnome.org> | 2015-06-11 12:27:39 +0200 |
|---|---|---|
| committer | Luca Bruno <lucabru@src.gnome.org> | 2015-06-11 12:27:50 +0200 |
| commit | 84327822e1ada2a73b67f23ebc238ab07bf6c185 (patch) | |
| tree | b252e9e0fa37cba5c8a9326bae381f1da0dcf0e2 /maintainers | |
| parent | 84dfce0bc07991a128d4e6162b12c1bfc15fecda (diff) | |
gnome-latest.sh: use bash, it doesn't work with sh
Diffstat (limited to 'maintainers')
| -rwxr-xr-x | maintainers/scripts/gnome-latest.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/gnome-latest.sh b/maintainers/scripts/gnome-latest.sh index 9290b6deaff0e..63b309c5a77ca 100755 --- a/maintainers/scripts/gnome-latest.sh +++ b/maintainers/scripts/gnome-latest.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash GNOME_FTP="ftp.gnome.org/pub/GNOME/sources" |