]> git.zerfleddert.de Git - micropolis/commitdiff
sh compatibility fixes
authorMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 22:37:51 +0000 (23:37 +0100)
committerMichael Gernoth <michael@gernoth.net>
Mon, 14 Jan 2008 22:37:51 +0000 (23:37 +0100)
res/micropolis.tcl

index dac3517d84f444af64c499f9cbbc7eeba4d91f0e..954688483b74316c274a0eefd00c9f6c3120668c 100644 (file)
@@ -412,8 +412,8 @@ sim ResetDynamic
 # the font in res (because it's already in the system fonts).  These lines
 # are for other systems that lack the font.
 set FontPath "[pwd]/res/dejavu-lgc"
 # the font in res (because it's already in the system fonts).  These lines
 # are for other systems that lack the font.
 set FontPath "[pwd]/res/dejavu-lgc"
-system "xset -fp $FontPath >&/dev/null"
-system "xset +fp $FontPath >&/dev/null"
+system "xset -fp $FontPath >/dev/null 2>&1"
+system "xset +fp $FontPath >/dev/null 2>&1"
 
 
 ########################################################################
 
 
 ########################################################################
Impressum, Datenschutz