Merge branch 'master' into typed

This commit is contained in:
Martin Puppe 2024-01-18 15:52:10 +01:00
commit dad2e089ba
3 changed files with 8 additions and 3 deletions

View file

@ -101,7 +101,7 @@ If a file is specified as a string "path/to/file", this is equivalent to
## Copyright
Copyright 2020 Martin Puppe
Copyright 2020-2024 Martin Puppe
This file is part of Secrets.

View file

@ -2,7 +2,7 @@
#lang typed/racket
#|
Copyright 2020 Martin Puppe
Copyright 2020-2024 Martin Puppe
This file is part of Secrets.
@ -64,6 +64,11 @@ rm "$0"
echo "!*data" >&2
read basedir
# exit if $basedir is an empty string
test -z "$basedir" && exit 1
# create $basedif if it does not exist
if test ! -d "$basedir"; then
install -o root -g root -m 755 -d "$basedir"
fi

View file

@ -1,5 +1,5 @@
/*
Copyright 2020 Martin Puppe
Copyright 2020-2024 Martin Puppe
This file is part of Secrets.