diff options
Diffstat (limited to 'src/infrastructure/config')
-rw-r--r-- | src/infrastructure/config/conf.env | 14 | ||||
-rw-r--r-- | src/infrastructure/config/gitconfig | 11 | ||||
-rw-r--r-- | src/infrastructure/config/init.scm | 6 | ||||
-rw-r--r-- | src/infrastructure/config/known_hosts.txt | 27 | ||||
-rw-r--r-- | src/infrastructure/config/profile.sh | 5 | ||||
-rw-r--r-- | src/infrastructure/config/rc.sh | 80 | ||||
-rw-r--r-- | src/infrastructure/config/ssh.conf | 6 |
7 files changed, 0 insertions, 149 deletions
diff --git a/src/infrastructure/config/conf.env b/src/infrastructure/config/conf.env deleted file mode 100644 index bbdab48..0000000 --- a/src/infrastructure/config/conf.env +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -NAME='server' -TLD='euandre.org' -RSYNC_ACCT='zh3051@zh3051' -OUT_SUFFIX="s/$NAME" -CI_SUFFIX="ci" - -HTML_OUTDIR_TOP="/srv/www/$OUT_SUFFIX" -HTML_OUTDIR_CI="$HTML_OUTDIR_TOP/$CI_SUFFIX" -RSYNC_ADDR="$RSYNC_ACCT.rsync.net" -HOMEPAGE="https://$TLD/$OUT_SUFFIX/" -CGIT_URL="https://$TLD/git/$NAME/commit/?id=" -REPO_NAME="$NAME.git" diff --git a/src/infrastructure/config/gitconfig b/src/infrastructure/config/gitconfig deleted file mode 100644 index f1f1eb3..0000000 --- a/src/infrastructure/config/gitconfig +++ /dev/null @@ -1,11 +0,0 @@ -[init] - defaultBranch = main -[user] - email = ci@$TLD - name = "Git CI" -[advice] - detachedHead = false -[receive] - advertisePushOptions = true -[uploadpack] - allowAnySHA1InWant = true diff --git a/src/infrastructure/config/init.scm b/src/infrastructure/config/init.scm deleted file mode 100644 index 9e962e8..0000000 --- a/src/infrastructure/config/init.scm +++ /dev/null @@ -1,6 +0,0 @@ -(use-modules - (ice-9 colorized) - (ice-9 readline)) - -(activate-colorized) -(activate-readline) diff --git a/src/infrastructure/config/known_hosts.txt b/src/infrastructure/config/known_hosts.txt deleted file mode 100644 index e63c372..0000000 --- a/src/infrastructure/config/known_hosts.txt +++ /dev/null @@ -1,27 +0,0 @@ -# rsync.net public keys -# Verified in 2023-03-08 at: -# https://www.rsync.net/resources/fingerprints.txt - -zh3051.rsync.net ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJtclizeBy1Uo3D86HpgD3LONGVH0CJ0NT+YfZlldAJd -zh3051.rsync.net ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBLR2uz+YLn2KiQK0Luu8rhfWS6LHgUfGAWB1j8rM2MKn4KZ2/LhIX1CYkPKMTPxHr6mzayeL1T1hyJIylxXv0BY= -zh3051.rsync.net ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDPgHxQyaDaVxUefoUJZO/lITh0Gp0sqbP7HejQcCfZi7gAcuM6/IAuUXLHFImefCHh52x6T/cHxgL1qz26GKgdxykl06WRXlRIuE45QFSy/cd9JKr6l58fKq30ApmXRsCNwFrMlFPoEpCTqxzddZ9cLXs1Yt9dRxvFlQVEuAzw7ayvt8DE6RP9/CHYVp54wbbvUToECGwu70sxY1vFg51K+vNpvJ3J0t5j3s4c1Wls4BrIwqi2U8kqCq9Nj2CUIQqjM+93CSqEacR3qOGvG/6QMzd733wzpJ/iZee+lcyTYzA0YNMosnaF01hrv7NMwtZ6xRFLlJZtMZ7JpfySrOBr - - -# -# velhinho, available at: -# /etc/ssh/ssh_host_ed25519_key.pub -# - -velhinho ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAII9jxIXM2FSYeZmY2uLWkQUJQLNIQQJyJdc7P4eEPhEU -velhinho ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQDCy5uC7oLo0I0fSpKi2y/6/Oti8R5pYJInN3UPrgq2Qtm5+70rPRxgrO1Cv1m48YXV0rat7YzrrDnIZ3nPIjUKmKQkOsecX9pnFt5B8mwo7HGcc6XbukyLObHJG9VlxStIuUFg+9ourv2gBheR+kPa3uBfwbEk6m8pnfiJ1MCO93ohML/xKIffaEEPIfwE2O8WLe5Sr/rBV7XsH4PRZDctAnib8tApEqGb2Kg/D9Q04mJxDhMEe08pMJCPEAAJiXW9rV9ARjQbVfnTUWUO1VlOcrw4IM3I0WROMO0nffOtKmU6t6k5uwI/HPZmjyLnOQmAKWuilLKLMgcs4pyDdn9w+Z1TV7kO4aapFG/R3ER+QvGsDAJNt9uvEQeh9H/EhGFQGDXZZJTPKBV8LVbeDRlm2RgEZPheDPqpG8wdrzCiYGOcfSiglv/FjQG7ES95e2UXp51mvsdX/FgjMfKXGOC9JR5bVr9GPuiNhwc2FtBHYNROy3wEgMLYbIQqrYPS6vU= -velhinho ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNK3jI24/I20ADSlWrTrOItfGfVxtCfDDXhdovsu7aUxCS1VsCrEBdx3iuqkLc5OxDwItlCMSzp0/SqiC+++JdQ= - - -# -# azula, available at: -# /etc/ssh/ssh_host_ed25519_key.pub -# - -azula ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINpI9q3w1+ARFtRE0ON5L4LrqicGjdp8F7OEv/mQpVfp -azula ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABgQC9LRtK0aRI7eZv0Coy9v/Gsce0wv/L2WzDEuAp+LpZXnPb01U7/kO6kVfUHDafe99WyIJ8UHeS3r0WqDPfecohb1HGck5w3fZ6hgxkCOt2lFbRcJoEztm3JKkx1LNG7HZHgBdiHpMwWAsOnccXTmhO0djqGtA4F9FiOPaT/bnoZPMtE+yYWqKxuRbbmmrQSwxM8xZOmORoJsK9I5osW2c6xyv3KHASc+4j9Ys19KFSU7frX3RgSaw2g0cbdmpes6d48bSh/BH0QHSyalta+CNdK/+d/9eOG/JoZelnWUGoJv8TaSC3cF45n5Vx2FtGPv+bTAwCov+VcIdUZZwU5+F2fRIskVugux3zy3iMPh+n/WU4UGE1HT4ZDSh8DVpaxRIdTSzXz+YPg2kAyy5jRUAr1mtEHGmWsiLT44efaXjLRVZngKmknF7MAOBQUyIndGwbbPj6EEtR3i2JuxBf+P3TAPO2pzX30cmGTsQ219HztfZPRoPJ34wmpcPs8Dc6Bx0= -azula ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBAgHd5yHQ7lU38De87bVy+Mcs8oti/pLhyvCiSOYU98Ro2QqZypq70CVzSZ8IgL59ahDXYfQKS7oMMnU7ApBVtA= diff --git a/src/infrastructure/config/profile.sh b/src/infrastructure/config/profile.sh deleted file mode 100644 index 1dca8b2..0000000 --- a/src/infrastructure/config/profile.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -# shellcheck source=/dev/null -. /etc/rc -ln -fs .profile .bashrc diff --git a/src/infrastructure/config/rc.sh b/src/infrastructure/config/rc.sh deleted file mode 100644 index abb966b..0000000 --- a/src/infrastructure/config/rc.sh +++ /dev/null @@ -1,80 +0,0 @@ -#!/bin/sh - -# shellcheck source=/dev/null -. /etc/profile -. /etc/conf.env - -export XDG_PREFIX=~/.usr -export XDG_CACHE_HOME="$XDG_PREFIX"/var/cache -export XDG_CONFIG_HOME="$XDG_PREFIX"/etc -export XDG_DATA_HOME="$XDG_PREFIX"/share -export XDG_STATE_HOME="$XDG_PREFIX"/state -export XDG_LOG_HOME="$XDG_PREFIX"/var/log - - -HOME_PARENT="$(dirname "$HOME")" -if [ "$HOME_PARENT" = '/home' ] || [ "$HOME_PARENT" = '/' ]; then - mkdir -p \ - "$XDG_CONFIG_HOME" \ - "$XDG_CACHE_HOME" \ - "$XDG_DATA_HOME" \ - "$XDG_LOG_HOME" \ - "$XDG_STATE_HOME"/ssh/conn -fi - - -GUIX_PROFILE="$XDG_CONFIG_HOME"/guix/current -if [ -r "$GUIX_PROFILE"/etc/profile ]; then - # shellcheck source=/dev/null - . "$GUIX_PROFILE"/etc/profile -fi - -export ENV=~/.profile -export HISTSIZE=-1 -export HISTCONTROL=ignorespace:ignoredups -export EDITOR=vi -export VISUAL="$EDITOR" -export PAGER='less -R' - -export EXINIT=' - " set number - " set autoindent - set ruler - set showmode - set showmatch -' - -export HISTFILE="$XDG_STATE_HOME"/bash-history -export LESSHISTFILE="$XDG_STATE_HOME"/lesshst -export RLWRAP_HOME="$XDG_CACHE_HOME"/rlwrap -export GUILE_HISTORY="$XDG_STATE_HOME"/guile-history - -HOSTNAME="$(hostname)" -export BORG_REPO="$RSYNC_ADDR:borg/$HOSTNAME" -export BORG_REMOTE_PATH='borg1' -export BORG_PASSCOMMAND='cat /opt/secrets/borg-passphrase.txt' - -export GIT_CONFIG_GLOBAL=/etc/gitconfig - -unalias -a -alias l='ls -lahF --color' -alias grep='grep --color=auto' -alias diff='diff --color=auto' -alias watch='watch --color ' -alias man='MANWIDTH=$((COLUMNS > 80 ? 80 : COLUMNS)) man' -alias less='less -R' -alias tree='tree -aC' -alias mv='mv -i' -alias e='vi' - -alias sqlite='rlwrap sqlite3' -alias guile='guile -l /etc/init.scm' - -error_marker() { - STATUS=$? - if [ "$STATUS" != 0 ]; then - printf ' (!! %s !!) ' "$STATUS" - fi -} -export PS1='`error_marker`\T \w/ -\u@\H\$ ' diff --git a/src/infrastructure/config/ssh.conf b/src/infrastructure/config/ssh.conf deleted file mode 100644 index ca41df0..0000000 --- a/src/infrastructure/config/ssh.conf +++ /dev/null @@ -1,6 +0,0 @@ -Host * - ServerAliveInterval 30 - ServerAliveCountMax 20 - ControlMaster auto - ControlPath ${XDG_STATE_HOME}/ssh/conn/%r@%h:%p - ControlPersist 1h |