index
:
server
main
Unnamed repository; edit this file 'description' to name the repository.
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
infrastructure
/
scripts
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2023-03-27
reconfigure.sh: Fix permissions of rsynced files
EuAndreh
1
-1
/
+2
2023-03-27
Build HTML and install it via CI
EuAndreh
1
-0
/
+5
2023-03-20
reconfigure.sh: Make "current" a relative symlink
EuAndreh
1
-1
/
+1
2023-03-16
gc.sh: Do not "sudo -u deployer" since we are already root
EuAndreh
1
-1
/
+1
2023-03-16
scripts/: Consistent spacing between usage and help strings
EuAndreh
2
-0
/
+2
2023-03-15
src/infrastructure/scripts/r.sh: Remove unused script
EuAndreh
1
-77
/
+0
2023-03-15
check.sh: Add from root@$HOSTNAME to Subject
EuAndreh
1
-1
/
+1
2023-03-15
system.scm: Add daily cronjob for system checks
EuAndreh
1
-0
/
+79
2023-03-15
cronjob.sh: Increase timeout to 2 hours
EuAndreh
1
-1
/
+1
2023-03-14
cronjob.sh: Rename $ONE_HOUR to $TIMEOUT
EuAndreh
1
-2
/
+2
2023-03-14
cronjob.sh: Fix space trimming on report output
EuAndreh
1
-0
/
+1
2023-03-13
src/infrastructure/scripts/report.sh: Remove redundant margin CSS value
EuAndreh
1
-1
/
+1
2023-03-13
{git-post-receive,cronjob}.sh: Improve portability
EuAndreh
1
-4
/
+13
2023-03-11
Copy files back
EuAndreh
7
-0
/
+943