Commit graph

Select branches

Hide pull requests

master

typed

Mono Color

• dad2e089ba Merge branch 'master' into typed typed Martin Puppe 2024-01-18 15:52:10 +01:00
• 386eeaf404 Ensure that script never operates with empty basedir master Martin Puppe 2024-01-18 15:43:25 +01:00
• 23acc8b3d7 Merge branch 'master' into typed Martin Puppe 2021-10-02 00:27:54 +02:00
• 698fc0c6d3 Create and set permissions of files atomically Martin Puppe 2021-10-02 00:24:14 +02:00
• 01ed3fb9d6 Merge branch 'master' into typed Martin Puppe 2021-02-08 11:09:07 +01:00
• fb34a0834c Restrict file access before writing secrets Martin Puppe 2021-02-08 11:04:21 +01:00
• bf93d04f2f Merge branch 'master' into typed Martin Puppe 2020-12-02 20:25:26 +01:00
• b5a6830523 Add README Martin Puppe 2020-12-02 20:11:41 +01:00
• 3d8ac1e944 Do not delete base directory on the target Martin Puppe 2020-12-02 20:11:01 +01:00
• 9e3311eef2 Rename key host to target Martin Puppe 2020-12-02 19:45:36 +01:00
• 356bb03776 Add GPL as license Martin Puppe 2020-12-02 17:51:43 +01:00
• f0a2816a04 Merge branch 'master' into typed Martin Puppe 2020-12-02 17:22:29 +01:00
• ab39b45e30 Exit with status 1 if sub-process fails Martin Puppe 2020-12-02 17:21:31 +01:00
• 30c05af694 Change to Typed Racket Martin Puppe 2020-12-02 16:01:38 +01:00
• 88b66fe6bc Take path to config file as command-line argument Martin Puppe 2020-11-25 14:33:00 +01:00
• 2ea10580b9 Change interpretation of paths in config file Martin Puppe 2020-11-25 12:56:33 +01:00
• fad70955eb Reorganize and clean up Martin Puppe 2020-11-24 20:38:09 +01:00
• d3e45ee306 First working version Martin Puppe 2020-11-24 20:18:16 +01:00
• a754091989 Initial commit Martin Puppe 2020-11-24 03:18:27 +01:00