openbsd-ports/x11/gnome/shell/patches/patch-src_gnome-shell-extension-prefs_in
2012-07-15 08:18:53 +00:00

16 lines
555 B
Plaintext

$OpenBSD: patch-src_gnome-shell-extension-prefs_in,v 1.2 2012/07/15 08:18:53 ajacoutot Exp $
From 3df3f0d9dc0527a3d5096c0118a2bf869a035f30 Mon Sep 17 00:00:00 2001
From: Antoine Jacoutot <ajacoutot@gnome.org>
Date: Fri, 13 Jul 2012 11:51:24 +0000
Subject: portability: use /bin/sh instead of /bin/bash
--- src/gnome-shell-extension-prefs.in.orig Fri Jul 13 13:48:34 2012
+++ src/gnome-shell-extension-prefs.in Fri Jul 13 13:48:39 2012
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
if [ -n "$GI_TYPELIB_PATH" ]; then
export GI_TYPELIB_PATH=@pkglibdir@