Browse Source

Rc file now again stored in pretty form

Leo 10 years ago
parent
commit
f722e2a243
2 changed files with 2 additions and 2 deletions
  1. 0 1
      TODO.md
  2. 2 1
      src/file_com.ml

+ 0 - 1
TODO.md

@@ -11,7 +11,6 @@
 
 
 ### Commands
 ### Commands
  + Add command to modify configuration file
  + Add command to modify configuration file
- + Pretty print rc file before writing it
 
 
 ### Configuration value
 ### Configuration value
  + Make displaying command before launching configurable
  + Make displaying command before launching configurable

+ 2 - 1
src/file_com.ml

@@ -46,7 +46,8 @@ let write (tmp_file:t) =
         (* Short name *)
         (* Short name *)
         let name = Const.rc_file in
         let name = Const.rc_file in
         (* Create string to be written *)
         (* Create string to be written *)
-        let data = Settings_j.string_of_rc_file tmp_file in
+        let data = (Settings_j.string_of_rc_file tmp_file
+        |> Yojson.Basic.prettify ~std:true) in
         Out_channel.write_all name ~data
         Out_channel.write_all name ~data
 ;;
 ;;