commit 1895c7d0c10a1d05acb198cf42d11fc666949ff2
parent d8855fad606168736ba01320923cd65aa054c3e0
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Thu, 16 Apr 2020 08:40:37 +0200
Add open-random function or
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.profile b/.profile
@@ -146,6 +146,7 @@ randomfile() {
randomman() {
plumb "$(randomfile /usr/share/man/man[23567])"
}
+alias or='plumb "$(randomfile)"'
alias julia-fast='julia --procs 1 --optimize=3 --math-mode=fast'
alias bigterm='nohup st -f "pragmatapro:size=24" >/dev/null 2>&1 &'