From ddac5f9e5aa935f4c154253831a36e49a48cdc8d Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 19 Nov 2013 15:18:58 +0000 Subject: GF shell: improved system_pipe (aka "?") command 1. No temporary files are created. 2. The output of a system command is read lazily, making it feasible to process large or even infinite output, e.g. the following works as expected: ? "yes" | ? "head -5" | ps -lextext --- src/compiler/GF/Command/Commands.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF/Command') diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 0d1b9695a..44d514a2f 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -46,6 +46,7 @@ import Data.List(intersperse,nub) import Data.Maybe import qualified Data.Map as Map --import System.Cmd(system) -- use GF.Infra.UseIO.restricedSystem instead! +import GF.System.Process import Text.PrettyPrint import Data.List (sort) --import Debug.Trace @@ -866,12 +867,15 @@ allCommands = Map.fromList [ synopsis = "send argument to a system command", syntax = "sp -command=\"SYSTEMCOMMAND\", alt. ? SYSTEMCOMMAND", exec = \_ opts arg -> do + let syst = optComm opts -- ++ " " ++ tmpi + {- let tmpi = "_tmpi" --- let tmpo = "_tmpo" restricted $ writeFile tmpi $ toString arg - let syst = optComm opts -- ++ " " ++ tmpi restrictedSystem $ syst ++ " <" ++ tmpi ++ " >" ++ tmpo fmap fromString $ restricted $ readFile tmpo, + -} + fmap fromString . restricted . readShellProcess syst $ toString arg, flags = [ ("command","the system command applied to the argument") ], -- cgit v1.2.3