Mon Sep 30 02:50:34 PDT 2013

1 files changed, 9 insertions, 7 deletions

diff --git a/extra/time/time.install b/extra/time/time.install
index 011597c00..ceaf8e6fb 100644
--- a/extra/time/time.install
+++ b/extra/time/time.install
@@ -1,20 +1,22 @@
+#!/bin/bash
+
 infodir=/usr/share/info
 filelist=(time.info.gz)
 
 post_install() {
-  [ -x usr/bin/install-info ] || return 0
-  for file in ${filelist[@]}; do
-    install-info $infodir/$file $infodir/dir 2> /dev/null
+  [[ -x usr/bin/install-info ]] || return 0
+  for file in "${filelist[@]}"; do
+    install-info "$infodir/$file" "$infodir/dir" 2>/dev/null
   done
 }
 
 post_upgrade() {
-  post_install $1
+  post_install "$1"
 }
 
 pre_remove() {
-  [ -x usr/bin/install-info ] || return 0
-  for file in ${filelist[@]}; do
-    install-info --delete $infodir/$file $infodir/dir 2> /dev/null
+  [[ -x usr/bin/install-info ]] || return 0
+  for file in "${filelist[@]}"; do
+    install-info --delete "$infodir/$file" "$infodir/dir" 2>/dev/null
   done
 }