How to set up multiple accounts with Mutt E-mail Client
Thanks to this article by Christoph Berg
Directories and files
~/
Thanks to this article by Christoph Berg
Directories and files
~/
영어지만, 조금 더 상세하게 마크다운 사용법을 안내하고 있는
"Markdown Guide (https://www.markdownguide.org/)" 를 보시는 것을 추천합니다. ^^
아, 그리고 마크다운만으로 표현이 부족하다고 느끼신다면, HTML 태그를 활용하시는 것도 좋습니다.
Reference: https://github.com/LnL7/nix-docker
# If on Darwin, I recommend keeping nix stuff contained
mkdir -p /nix/etc/nix
ln -s /nix/etc/nix /etc/nix # sysconfdir; can be overridden with $NIX_CONF_DIR
cd /nix/etc/nix/
openssl genrsa -out signing-key.sec 2048
openssl rsa -in signing-key.sec -pubout > signing-key.pub
// Download a file using https. Only works with sites which support CORS. | |
#include <emscripten.h> | |
#include <stdio.h> | |
#include <string> | |
using namespace std; | |
void received(void *, void *data, int size) { | |
puts(string((char *)data, size).c_str()); | |
} |
This NixOS code ensures that the system provide version-specific $LOCALE_ARCHIVE
environment variables to mitigate the effects of
NixOS/nixpkgs#38991.
To deploy it, copy the file into your /etc/nixos
folder using a file name
like multi-glibc-locale-paths.nix
. Then edit your configuration.nix
file to
contain the attribute:
imports = [ ./multi-glibc-locale-paths.nix ];
Swap is activated by systemd, so let's query which unit is responsible for it on your NixOS:
sudo systemctl --type swap
This will among other things output the name of the unit that is responsible for activating swap.
Copy it to your clipboard (for me the value is dev-nvme0n1p2.swap
).
Now we will need to let NixOS know that we don't need any swap.
I'll preface this with three things. 1. I prefer schemes over Common Lisps, and I prefer Racket of the Schemes. 2. There is more to it than the points I raise here. 3. I assume you have no previous experience with Lisp, and don't have a preference for Schemes over Common Lisp. With all that out of the way... I would say Common Lisp/SBCL. Let me explain
Now as to why Common Lisp over Scheme
open import Data.Nat | |
open import Data.Fin as Fin | |
module Primrec where | |
-- The datatype of primitive recursive function | |
data PR : ∀ (k : ℕ) → Set where | |
pr-zero : PR 0 -- zero | |
pr-succ : PR 1 -- successor | |
pr-proj : ∀ {k} (i : Fin k) → PR k -- projection |