src/editor/simple/save.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

import Monad(zipWithM)
import System(getArgs)

main = save =<< getArgs

save [dir] =
  do fs@[ns,_] <- readIO =<< getContents
     nes <- save_all fs
     putStrLn $ unwords nes
  where
    save_all [ns,cs] = zipWithM write1 ns cs
    write1 n c = 
       do writeFile (dir++"/"++ne) c
          return ne
      where
        ne=if '.' `elem` n then n else n++".gf"