Merge branch 'master' into wsr

2023-03-05 15:10:51 +01:00 · 2023-03-05 15:10:51 +01:00 · d466fe0733
parent 0d49086578 87a5b91d53
commit d466fe0733
2 changed files with 5 additions and 1 deletions
--- a/.zshenv
+++ b/.zshenv
@ -252,6 +252,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`