diff options
author | EuAndreh <eu@euandre.org> | 2023-10-08 08:26:37 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-11-25 12:14:34 -0300 |
commit | e406d80377858f37ce683163b2b0ce45e59cfe9f (patch) | |
tree | ac2a4ba2543cc1b2507e8aa57acfc039e71cf3c8 /src/config | |
parent | Initial empty commit (diff) | |
download | asami-e406d80377858f37ce683163b2b0ce45e59cfe9f.tar.gz asami-e406d80377858f37ce683163b2b0ce45e59cfe9f.tar.xz |
Init server infrastructure files
Diffstat (limited to 'src/config')
-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 |
7 files changed, 129 insertions, 0 deletions
diff --git a/src/config/conf.env.in b/src/config/conf.env.in new file mode 100644 index 0000000..e54daef --- /dev/null +++ b/src/config/conf.env.in @@ -0,0 +1,16 @@ +#!/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 new file mode 100644 index 0000000..f1f1eb3 --- /dev/null +++ b/src/config/gitconfig @@ -0,0 +1,11 @@ +[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 new file mode 100644 index 0000000..9e962e8 --- /dev/null +++ b/src/config/init.scm @@ -0,0 +1,6 @@ +(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 new file mode 100644 index 0000000..74ba219 --- /dev/null +++ b/src/config/known_hosts.txt @@ -0,0 +1,5 @@ +# 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 new file mode 100644 index 0000000..1dca8b2 --- /dev/null +++ b/src/config/profile.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +# shellcheck source=/dev/null +. /etc/rc +ln -fs .profile .bashrc diff --git a/src/config/rc.sh b/src/config/rc.sh new file mode 100644 index 0000000..b44d3d1 --- /dev/null +++ b/src/config/rc.sh @@ -0,0 +1,80 @@ +#!/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 new file mode 100644 index 0000000..ca41df0 --- /dev/null +++ b/src/config/ssh.conf @@ -0,0 +1,6 @@ +Host * + ServerAliveInterval 30 + ServerAliveCountMax 20 + ControlMaster auto + ControlPath ${XDG_STATE_HOME}/ssh/conn/%r@%h:%p + ControlPersist 1h |