Antoine Jacoutot 3df3f0d9dc portability: use /bin/sh instead of /bin/bash
There is nothing requiring bash specific features in this script, so
just use /bin/sh which is portable amongst all Unices.

https://bugzilla.gnome.org/show_bug.cgi?id=679847
2012-07-15 10:17:24 +02:00
..
2012-04-09 19:57:51 +02:00
2012-01-25 19:03:13 -05:00
2012-05-02 16:26:07 -04:00
2012-06-14 18:24:57 +01:00
2012-02-28 08:14:06 -05:00
2012-01-25 19:03:13 -05:00
2012-07-14 11:48:54 +02:00
2011-11-07 15:24:59 -05:00
2011-11-07 15:24:59 -05:00
2011-11-07 15:24:59 -05:00
2012-04-09 19:57:51 +02:00
2012-02-28 08:14:06 -05:00
2010-02-22 19:37:49 -05:00
2012-02-28 08:14:06 -05:00
2012-02-28 08:14:06 -05:00
2012-04-09 19:57:51 +02:00