Skip to content
Snippets Groups Projects
  1. Nov 20, 2022
  2. Nov 12, 2022
  3. Nov 10, 2022
  4. Oct 25, 2022
  5. Aug 09, 2022
  6. Aug 08, 2022
  7. Aug 06, 2022
  8. Aug 05, 2022
  9. Jul 30, 2022
  10. Jul 23, 2022
    • Mike Pilgrem's avatar
      Fix #293 Document expressly how installation scripts can be customised · 27c06ddd
      Mike Pilgrem authored
      The proposed addition does not go into the mechanism (the names of the specific environment variables or the PowerShell parameters) but is more express about in what manner the behaviour of the installation scripts can be changed.
      
      Introduces that important flexibility as the first topic under 'More on installation'.
      
      Explains that the PowerShell script finally (by default) runs the script for Unix-like operating systems (so a Windows user understands better that the environment variables in the former are applicable to both, and what is meant by the 'final' bootstrap script in the content of the Windows parameters).
      
      Refers to what has gone before, under 'Continuous integration', rather than repeat the added content.
      27c06ddd
    • Mike Pilgrem's avatar
      511d8d5e
  11. Jul 10, 2022
  12. Jul 02, 2022
  13. Jun 16, 2022
  14. May 28, 2022
  15. May 22, 2022
  16. May 20, 2022
  17. May 16, 2022
  18. May 11, 2022
  19. May 04, 2022
  20. May 03, 2022
  21. Apr 30, 2022
  22. Apr 29, 2022
  23. Apr 07, 2022
  24. Apr 02, 2022
  25. Mar 18, 2022
  26. Mar 08, 2022
Loading