From 726e9530d6c484d59de44b8fa59e89409e37994b Mon Sep 17 00:00:00 2001 From: Alan Somers Date: Thu, 27 Jul 2017 14:34:07 -0600 Subject: [PATCH] Replace /bin/bash with /bin/sh /bin/bash is a Linuxism. /bin/sh is portable, and this script isn't using any bash-specific features. --- doc/grid_graph_export_svg.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/grid_graph_export_svg.sh b/doc/grid_graph_export_svg.sh index 03e7cb9c..d12ea216 100755 --- a/doc/grid_graph_export_svg.sh +++ b/doc/grid_graph_export_svg.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh #======================================================================= # Copyright 2009 Trustees of Indiana University. @@ -16,4 +16,4 @@ inkscape --export-png grid_graph_unwrapped.png --export-id g3150 --export-id-onl inkscape --export-png grid_graph_wrapped.png grid_graph_unindexed.svg # Indexed, unwrapped -inkscape --export-png grid_graph_indexed.png grid_graph_indexed.svg \ No newline at end of file +inkscape --export-png grid_graph_indexed.png grid_graph_indexed.svg