Merge branch 'master' into wsr_shared

2023-03-05 15:11:08 +01:00 · 2023-03-05 15:11:08 +01:00 · ccd713b6ec
parent eea9e7b27d 87a5b91d53
commit ccd713b6ec
2 changed files with 5 additions and 1 deletions
--- a/.zshenv
+++ b/.zshenv
@ -247,6 +247,9 @@ if [ -d /etc/profile.d ]
 then
    for i in /etc/profile.d/*.sh
    do
-        . $i
+        if [ -r $i ]
+        then
+            . $i
+        fi
    done
 fi
--- a/ssh-keys/arche-noah_2022.pub
+++ b/ssh-keys/arche-noah_2022.pub
@ -0,0 +1 @@
+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN4jRA8UfI8UNzbxFq1xnRxm1oKzs39pDpB7ox5gBXvC hjp@arche-noah
				`@ -0,0 +1 @@`
				`ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN4jRA8UfI8UNzbxFq1xnRxm1oKzs39pDpB7ox5gBXvC hjp@arche-noah`