Move some things around

5 files changed, 0 insertions, 207 deletions

diff --git a/personal/setup/bunsenlabs.md b/personal/setup/bunsenlabs.md
deleted file mode 100644
index 523fdaa..0000000
--- a/personal/setup/bunsenlabs.md
+++ /dev/null
@@ -1,52 +0,0 @@
-Things I always tweak after installing a Bunsenlabs system.
-
-# Keyboard
-
-Cf. keyboard(5):
-
-- add `ctrl:nocaps` in /etc/default/keyboard
-- run `udevadm trigger --subsystem-match=input --action=change`
-- run `setupcon` in a TTY
-
-# Desktop
-
-## Conky
-
-- changed window type to "desktop" so that W-d does not hide Conky
-- see dotfiles
-
-## ClipIt
-
-- disable hotkeys
-
-## Openbox
-
-### `rc.xml`
-
-- comment A-m and A-r out
-- undecorate all windows:
-
-    ``` xml
-    <application class="*">
-      <decor>no</decor>
-    </application>
-    ```
-
-### WM preferences
-
-- appearance: uncheck "windows retain a border when undecorated"
-- desktops: 4
-
-## tint2
-
-- remove launcher and exit panel items
-- add date (time2)
-
-## Calendar
-
-Make weeks begin on Monday by using the British locale:
-
-- uncomment `en_GB.UTF-8 UTF-8` in /etc/locale.gen
-- `sudo locale-gen`
-- `force_lang = en_GB.utf8` in `~/.config/gsimplecal/config`
-
diff --git a/personal/setup/dotfiles.md b/personal/setup/dotfiles.md
deleted file mode 100644
index c51f4cb..0000000
--- a/personal/setup/dotfiles.md
+++ /dev/null
@@ -1,22 +0,0 @@
-Some day all of these will live in my dotfiles repository.
-
-Until then…
-
-# `~/.bash_aliases`
-
-``` bash
-# Make Bash expand aliases before running sudo.
-alias sudo='sudo '
-```
-
-# `.gitconfig`
-
-``` ini
-[user]
-    name = …
-    email = …
-[alias]
-    root = rev-parse --show-toplevel
-    forget = update-index --assume-unchanged
-    remember = update-index --no-assume-unchanged
-```
diff --git a/personal/setup/emacs.md b/personal/setup/emacs.md
deleted file mode 100644
index 53fb75f..0000000
--- a/personal/setup/emacs.md
+++ /dev/null
@@ -1,42 +0,0 @@
-# Compiling
-
-This script seems to handle most cases I care about:
-
-- a freshly cloned copy of the repository,
-- a repository where compilation has already happened,
-- a repository where I want to change the `configure` flags…
-
-``` bash
-#!/bin/bash
-
-set -eux
-
-MAKE="make -j$(nproc --all)"
-CONFIGURE_FLAGS="--with-xwidgets --with-cairo"
-
-if ! test -f Makefile
-then
-	${MAKE} configure
-fi
-
-check-config ()
-{
-    if ! test -f src/config.h
-    then
-        return 1
-    fi
-
-    local pattern='#define EMACS_CONFIG_OPTIONS "'${CONFIGURE_FLAGS}'"'
-    grep "${pattern}" src/config.h
-}
-
-if ! check-config
-then
-    ./configure ${CONFIGURE_FLAGS}
-fi
-
-if ! ${MAKE}
-then
-    ${MAKE} bootstrap
-fi
-```
diff --git a/personal/setup/fonts.md b/personal/setup/fonts.md
deleted file mode 100644
index 30e7739..0000000
--- a/personal/setup/fonts.md
+++ /dev/null
@@ -1,49 +0,0 @@
-Fonts I find useful, plus messy configuration details.
-
-# Symbola
-
-Symbola seems to cover most characters I care about (although it does
-not handle fancy emoji ligatures), and new versions are released
-fairly soon after each revision of the Unicode standard.
-
-Since distributions may not include the latest version, I often get it
-directly from [the author's website](http://users.teilar.gr/~g1951d/).
-
-# Installing fonts with Fontconfig
-
-Gee, it sure is convenient to be able to install new fonts simply by
-dropping them in `~/.fonts` and running `fc-cache`!
-
-`/etc/fonts/fonts.conf`:
-
-    	<!-- the following element will be removed in the future -->
-    	<dir>~/.fonts</dir>
-
-😨
-
-Bunsenlabs symlinks `~/.fonts` to `~/.local/share/fonts`, but this
-path is not mentioned anywhere in `/etc/fonts`.  What's the deal?
-
-`/etc/fonts/fonts.conf`:
-
-    	<dir prefix="xdg">fonts</dir>
-
-fonts-conf(5):
-
-> ## `<DIR PREFIX="DEFAULT">`
->
-> This element contains a directory name which will be scanned for
-> font files to include in the set of available fonts. If 'prefix' is
-> set to "xdg", the value in the `XDG_DATA_HOME` environment variable
-> will be added as the path prefix. please see XDG Base Directory
-> Specification for more details.
-
-[XDG Base Directory Specification](https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html):
-
-> `$XDG_DATA_HOME` defines the base directory relative to which user
-> specific data files should be stored. If `$XDG_DATA_HOME` is either
-> not set or empty, a default equal to `$HOME`/.local/share should be
-> used.
-
-Seems legit then.
-
diff --git a/personal/setup/package-management.md b/personal/setup/package-management.md
deleted file mode 100644
index e6afc7a..0000000
--- a/personal/setup/package-management.md
+++ /dev/null
@@ -1,42 +0,0 @@
-Here are some things that I do often enough that I want to remember
-how to do them properly, yet rarely enough that I will probably forget
-this stuff if I do not write it down.
-
-# Package managers
-
-## APT
-
-Add deb-src repositories to get:
-
-- `changelog`
-- `build-dep`
-- `source`
-
-# Installing stuff under `$HOME`
-
-E.g. pandoc (compiled from source tarball with stack because there is
-no 32-bit release) and ripgrep:
-
-- programs:
-    - install in `~/.local/bin`
-    - add this folder to `$PATH` (in `.profile` and `.xsessionrc`)
-
-- manpages:
-    - install in `~/.local/share/man/man1`
-    - in `~/.manpath`:
-
-            MANPATH_MAP	~/.local/bin	~/.local/share/man
-
-    - run `mandb --user-db`
-
-- bash completion scripts:
-    - install in `~/.local/share/bash-completion`
-    - in `~/.bash_completion` (sourced by
-      `/usr/share/bash-completion/bash_completion`):
-
-        ``` bash
-        for f in ~/.local/share/bash-completion/*
-        do
-        [ -f "$f" ] && . "$f"
-        done
-        ```