summaryrefslogtreecommitdiff
path: root/src/config
diff options
context:
space:
mode:
Diffstat (limited to 'src/config')
-rw-r--r--src/config/conf.env16
-rw-r--r--src/config/conf.env.in16
-rw-r--r--src/config/gitconfig11
-rw-r--r--src/config/init.scm6
-rw-r--r--src/config/known_hosts.txt5
-rw-r--r--src/config/profile.sh5
-rw-r--r--src/config/rc.sh80
-rw-r--r--src/config/ssh.conf6
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