From 786d6958a5733b28ec089685df7c0eac980c5f2a Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 11 Mar 2023 08:53:30 -0300
Subject: Copy files back

---
 src/infrastructure/config/gitconfig  |  7 ++++
 src/infrastructure/config/init.scm   |  6 +++
 src/infrastructure/config/profile.sh |  5 +++
 src/infrastructure/config/rc.sh      | 75 ++++++++++++++++++++++++++++++++++++
 src/infrastructure/config/ssh.conf   |  6 +++
 5 files changed, 99 insertions(+)
 create mode 100644 src/infrastructure/config/gitconfig
 create mode 100644 src/infrastructure/config/init.scm
 create mode 100644 src/infrastructure/config/profile.sh
 create mode 100644 src/infrastructure/config/rc.sh
 create mode 100644 src/infrastructure/config/ssh.conf

(limited to 'src/infrastructure/config')

diff --git a/src/infrastructure/config/gitconfig b/src/infrastructure/config/gitconfig
new file mode 100644
index 0000000..915ee72
--- /dev/null
+++ b/src/infrastructure/config/gitconfig
@@ -0,0 +1,7 @@
+[init]
+  defaultBranch = main
+[user]
+  email = ci@euandre.org
+  name = "euandre.org CI"
+[advice]
+  detachedHead = false
diff --git a/src/infrastructure/config/init.scm b/src/infrastructure/config/init.scm
new file mode 100644
index 0000000..9e962e8
--- /dev/null
+++ b/src/infrastructure/config/init.scm
@@ -0,0 +1,6 @@
+(use-modules
+  (ice-9 colorized)
+  (ice-9 readline))
+
+(activate-colorized)
+(activate-readline)
diff --git a/src/infrastructure/config/profile.sh b/src/infrastructure/config/profile.sh
new file mode 100644
index 0000000..1dca8b2
--- /dev/null
+++ b/src/infrastructure/config/profile.sh
@@ -0,0 +1,5 @@
+#!/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
new file mode 100644
index 0000000..c92df73
--- /dev/null
+++ b/src/infrastructure/config/rc.sh
@@ -0,0 +1,75 @@
+#!/bin/sh
+
+# shellcheck source=/dev/null
+. /etc/profile
+
+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
+
+mkdir -p \
+	"$XDG_CONFIG_HOME" \
+	"$XDG_CACHE_HOME"  \
+	"$XDG_DATA_HOME"   \
+	"$XDG_LOG_HOME"    \
+	"$XDG_STATE_HOME"/ssh/conn
+
+
+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="20931@hk-s020.rsync.net: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
new file mode 100644
index 0000000..ca41df0
--- /dev/null
+++ b/src/infrastructure/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
-- 
cgit v1.2.3