Merge branch 'master' into wsr_shared

Merge branch 'master' of git.hjp.at:hjp/dot
Add collection of ssh public keys
2023-03-05 15:11:08 +01:00 · 2023-03-05 15:10:00 +01:00 · 2022-12-22 16:34:02 +01:00 · 2022-12-22 16:31:21 +01:00
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
Author	SHA1	Message	Date
Peter J. Holzer	ccd713b6ec	Merge branch 'master' into wsr_shared	2023-03-05 15:11:08 +01:00
Peter J. Holzer	87a5b91d53	Merge branch 'master' of git.hjp.at:hjp/dot	2023-03-05 15:10:00 +01:00
Peter J. Holzer	0b316e008c	Add collection of ssh public keys	2022-12-22 16:34:02 +01:00
Peter J. Holzer	6cb71fa6cc	Source only readable profiles Newer Ubuntu versions put files only readable by root into /etc/profile.d	2022-12-22 16:31:21 +01:00
				`@ -0,0 +1 @@`
				`ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN4jRA8UfI8UNzbxFq1xnRxm1oKzs39pDpB7ox5gBXvC hjp@arche-noah`