installer: record install options in /etc/options.txt

It is useful to have a file lying around that lists the options there
were chosen in the installer.

This addresses git-for-windows/git#454

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

installer/install.iss.in

@@ -270,6 +270,9 @@ const
     BIND_CACHE_IMPORT_DLLS = $00000008;
 
 var
+    // The options chosen at install time, to be written to /etc/options.txt
+    ChosenOptions:String;
+
     // Wizard page and variables for the Path options.
     PathPage:TWizardPage;
     RdbPath:array[GP_BashOnly..GP_CmdTools] of TRadioButton;
@@ -510,6 +513,7 @@ begin
     if ShouldSaveInf then begin
         SaveInfString('Setup',StringChangeEx(Key,' ','',True),Data);
     end;
+    ChosenOptions:=ChosenOptions+Key+': '+Data+'\n';
 end;
 
 function ReplayChoice(Key:String,Default:String):String;
@@ -537,6 +541,8 @@ var
     Data:String;
 begin
 
+    ChosenOptions:='';
+
     PrevPageID:=wpSelectProgramGroup;
 
     (*
@@ -1619,6 +1625,8 @@ begin
         Data:='Enabled';
     end;
     RecordChoice(PreviousDataKey,'Performance Tweaks FSCache',Data);
+
+    SaveStringToFile('{app}\etc\options.txt',ChosenOptions,False);
 end;
 
 {