From 74420090864f3d7a967b49285112229b6d2bf7f5 Mon Sep 17 00:00:00 2001
From: Diego Escalante Urrelo <diegoe@igalia.com>
Date: Thu, 5 Apr 2012 00:29:55 -0500
Subject: [PATCH] gnomeos-install: use /bin/bash, not /bin/sh

This scripts use bashisms, so use /bin/bash as the interpreter until
they are un-bashified.
---
 gnomeos/gnomeos-install.sh | 2 +-
 gnomeos/gnomeos-setup.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnomeos/gnomeos-install.sh b/gnomeos/gnomeos-install.sh
index f99c13f5..a0ff854c 100755
--- a/gnomeos/gnomeos-install.sh
+++ b/gnomeos/gnomeos-install.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- indent-tabs-mode: nil; -*-
 # Install OSTree to system
 #
diff --git a/gnomeos/gnomeos-setup.sh b/gnomeos/gnomeos-setup.sh
index bfe8cbfb..e7c1ad42 100755
--- a/gnomeos/gnomeos-setup.sh
+++ b/gnomeos/gnomeos-setup.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- indent-tabs-mode: nil; -*-
 # Set up ostree directory
 #