From 8e51aa9dc5d6cf7e54079f00824d7cf2c85bb425 Mon Sep 17 00:00:00 2001 From: Jacopo De Simoi Date: Thu, 15 Dec 2022 10:43:36 -0500 Subject: [PATCH] Retire mips --- zshrc.org | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/zshrc.org b/zshrc.org index 499515e..451c3d8 100644 --- a/zshrc.org +++ b/zshrc.org @@ -15,8 +15,7 @@ are daily and pi, the function returns '(".zshrc" ".zshrc.pi") (setq tag-to-filenames-alist '(("daily" . ".zshrc") ("blender" . ".zshrc.blender") ("pi" . "/ssh:ssh.jacopods.xyz:.zshrc") - ("android" . ".zshrc.android") - ("mips" . ".zshrc.mips"))) + ("android" . ".zshrc.android"))) (defun org-tags-to-filenames () (let ((tags (car (last (org-heading-components))))) (when (stringp tags) @@ -47,7 +46,6 @@ This is my ~.zshrc~; it will be used in many environments: - blender box (gentoo box with no gui) - android box in termux - raspberry pi -- mips box Each environment has slightly different setups, which will be tangled to different files according to the function `org-tags-to-filenames',