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
/
config
(
follow
)
Commit message (
Collapse
)
Author
Age
Files
Lines
*
conf.env: Separate $RSYNC_ACCT from $RSYNC_ADDR
EuAndreh
2023-03-28
1
-1
/
+2
|
*
gitconfig: Use generic values for user.{email,name}
EuAndreh
2023-03-28
1
-2
/
+2
|
*
conf.env: Use common $OUT_SUFFIX
EuAndreh
2023-03-27
1
-2
/
+3
|
*
src/infrastructure/scripts/report.sh: Auto-fetch missing commits
EuAndreh
2023-03-27
1
-0
/
+2
|
*
src/infrastructure/config/conf.env: Use file to parameterize reconfigure(8) ↵
EuAndreh
2023-03-27
2
-1
/
+12
|
|
|
|
and report(8) scripts
*
rc.sh: Conditionally "mkdir -p $XDG_*"
EuAndreh
2023-03-27
1
-6
/
+10
|
*
known_hosts.txt: Add keys for "azula"
EuAndreh
2023-03-20
1
-0
/
+10
|
*
src/infrastructure/config/known_hosts.txt: Add "velhinho" keys
EuAndreh
2023-03-20
1
-0
/
+10
|
*
src/infrastructure/config/known_hosts.txt: Remove note on pilotis.net
EuAndreh
2023-03-20
1
-1
/
+1
|
*
Manage public SSH files as "extra-etc-file" instead of like a secret
EuAndreh
2023-03-20
1
-0
/
+7
|
*
gitconfig: Enable "receive.advertisePushOptions" globally
EuAndreh
2023-03-13
1
-0
/
+2
|
*
gitconfig: Replace use tabs for indentation
EuAndreh
2023-03-13
1
-4
/
+4
|
*
src/infrastructure/config/rc.sh: Fix address to rsync.net account
EuAndreh
2023-03-13
1
-1
/
+1
|
*
Copy files back
EuAndreh
2023-03-11
5
-0
/
+99