diff options
Diffstat (limited to 'src/config')
-rw-r--r-- | src/config/conf.env | 16 | ||||
-rw-r--r-- | src/config/conf.env.in | 16 | ||||
-rw-r--r-- | src/config/gitconfig | 11 | ||||
-rw-r--r-- | src/config/init.scm | 6 | ||||
-rw-r--r-- | src/config/known_hosts.txt | 5 | ||||
-rw-r--r-- | src/config/profile.sh | 5 | ||||
-rw-r--r-- | src/config/rc.sh | 80 | ||||
-rw-r--r-- | src/config/ssh.conf | 6 |
8 files changed, 0 insertions, 145 deletions
diff --git a/src/config/conf.env b/src/config/conf.env deleted file mode 100644 index b60173e..0000000 --- a/src/config/conf.env +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -NAME='papo.im' -TLD='papo.im' -URL='papo.im' -OFFSITE_SSH='00000@aa0000.rsync.net' -OUT_SUFFIX='' -PRIV_SUFFIX='' -CI_SUFFIX="ci" - -HTML_OUTDIR_TOP="/srv/www/$OUT_SUFFIX" -HTML_OUTDIR_PRIV="$HTML_OUTDIR_TOP$PRIV_SUFFIX" -HTML_OUTDIR_CI="$HTML_OUTDIR_TOP/$CI_SUFFIX" -HOMEPAGE="https://$TLD/$OUT_SUFFIX/" -CGIT_URL="https://$TLD/git/$NAME/commit/?id=" -REPO_NAME="$NAME.git" diff --git a/src/config/conf.env.in b/src/config/conf.env.in deleted file mode 100644 index e54daef..0000000 --- a/src/config/conf.env.in +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -NAME='@NAME@' -TLD='@TLD@' -URL='@URL@' -OFFSITE_SSH='@OFFSITE_SSH@' -OUT_SUFFIX='' -PRIV_SUFFIX='' -CI_SUFFIX="ci" - -HTML_OUTDIR_TOP="/srv/www/$OUT_SUFFIX" -HTML_OUTDIR_PRIV="$HTML_OUTDIR_TOP$PRIV_SUFFIX" -HTML_OUTDIR_CI="$HTML_OUTDIR_TOP/$CI_SUFFIX" -HOMEPAGE="https://$TLD/$OUT_SUFFIX/" -CGIT_URL="https://$TLD/git/$NAME/commit/?id=" -REPO_NAME="$NAME.git" diff --git a/src/config/gitconfig b/src/config/gitconfig deleted file mode 100644 index f1f1eb3..0000000 --- a/src/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/config/init.scm b/src/config/init.scm deleted file mode 100644 index 9e962e8..0000000 --- a/src/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/config/known_hosts.txt b/src/config/known_hosts.txt deleted file mode 100644 index 74ba219..0000000 --- a/src/config/known_hosts.txt +++ /dev/null @@ -1,5 +0,0 @@ -# rsync.net public keys -# Verified in 2023-03-08 at: -# https://www.rsync.net/resources/fingerprints.txt - -hk-s020.rsync.net ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILcPl9x9JfRFwsn09NnDw/xBZbAN80ZQck+h6AqlVqPH diff --git a/src/config/profile.sh b/src/config/profile.sh deleted file mode 100644 index 1dca8b2..0000000 --- a/src/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/config/rc.sh b/src/config/rc.sh deleted file mode 100644 index b44d3d1..0000000 --- a/src/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="$OFFSITE_SSH: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/config/ssh.conf b/src/config/ssh.conf deleted file mode 100644 index ca41df0..0000000 --- a/src/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 |