Skip to content

Instantly share code, notes, and snippets.

YoEight /
Created January 15, 2021 10:11 — forked from j1cs/
Improve fonts archlinux

Improve Fonts


Make your Arch fonts beautiful easily! This is what I do when I install Arch Linux to improve the fonts.

You may consider the following settings to improve your fonts for system-wide usage without installing a patched font library packages (eg. Infinality):

Install some fonts, for example:
sudo pacman -S ttf-dejavu ttf-liberation noto-fonts

YoEight /
Created August 3, 2018 20:23 — forked from bastman/
docker cleanup guide: containers, images, volumes, networks

Docker - How to cleanup (unused) resources

Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...

delete volumes

// see:

$ docker volume rm $(docker volume ls -qf dangling=true)

$ docker volume ls -qf dangling=true | xargs -r docker volume rm

{-# LANGUAGE GADTs, RankNTypes #-}
import Prelude hiding (read, print)
-- The "operational" form
data Action a where
Print :: String -> Action ()
Read :: Action String