ICFP paper has been accepted :D
[web.git] / personal / index.html
index e9738c7e113f3d78e70d95d507212d1d17d68be3..7e1855fd04932c2229f74557fc4edabb0f7815c2 100644 (file)
@@ -10,7 +10,7 @@ On this machine I maintain several services which are part of modern life, and w
 <ul>
     <li><a href="mailto:post-AT-ralfj-DOT-de">E-Mail</a>,</li>
     <li>Jabber: My Jabber-ID is <a href="xmpp:ralf-AT-jabber-DOT-ralfj-DOT-de">ralf-AT-jabber-DOT-ralfj-DOT-de</a> (also see <a href="https://en.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">the Wikipedia article about Jabber</a>),</li>
-    <li><a href="/git">Git repositories</a>,</li>
+    <li><a href="https://git.ralfj.de/">Git repositories</a>,</li>
     <li><a href="https://lists.ralfj.de/">Mailing lists</a>,</li>
     <li>a DNS server (incl. DynDNS and DNSSEC),</li>
     <li>and more.</li>
@@ -25,7 +25,7 @@ Speaking of which, my GPG key has the ID 0x1B24F3FF. You can find it <a href="0x
 You may wonder why I spend so much time on this. Well, I already mentioned independence of the usual internet giants.
 Besides, it's lots of fun to have a closer look at the tools and service we all use daily, and understand how they function.
 Last not least, I learned a lot while setting up this server.
-If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail</a> me!
+If you have questions about this (or anything else on this server), please don't hesitate to <a href="mailto:post-AT-ralfj-DOT-de">mail me at ralf-AT-ralfj-DOT-de</a>!
 </p>
 
 <p>
@@ -40,7 +40,7 @@ Auf dieser Maschine laufen diverse Dienste, die zum modernen Alltag gehören, un
 <ul>
     <li><a href="mailto:post-ÄT-ralfj-PUNKT-de">E-Mail</a>,</li>
     <li>Jabber: Meine Jabber-ID lautet <a href="xmpp:ralf-ÄT-jabber-PUNKT-ralfj-PUNKT-de">ralf-ÄT-jabber-PUNKT-ralfj-PUNKT-de</a> (siehe auch <a href="https://de.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">den Wikipedia-Artikel zu Jabber</a>),</li>
-    <li><a href="/git">Git-Repositories</a>,</li>
+    <li><a href="https://git.ralfj.de/">Git-Repositories</a>,</li>
     <li><a href="https://lists.ralfj.de/">Mailing-Listen</a>,</li>
     <li>ein DNS-Server (inkl. DynDNS und DNSSEC),</li>
     <li>und einiges mehr.</li>
@@ -55,7 +55,7 @@ Mein GPG-Schlüssel hat übrigens die ID 0x1B24F3FF. Du kannst ihn <a href="0x1B
 Warum ich mir diese Mühe mache? Nun, die Unabhängigkeit von den üblichen Internetgiganten habe ich ja schon erwähnt.
 Zudem macht es mir eine Menge Spaß, mir diese Technik mal genauer anzuschauen und zu verstehen, wie sie funktioniert.
 Nicht zuletzt habe ich beim Einrichten dieses Servers eine Menge gelernt.
-Falls du Fragen hierzu (oder zu sonst irgendwas auf diesem Server) hast, zögere bitte nicht, mich <a href="mailto:post-ÄT-ralfj-PUNKT-de">anzuschreiben</a>!
+Falls du Fragen hierzu (oder zu sonst irgendwas auf diesem Server) hast, zögere bitte nicht, mich <a href="mailto:post-ÄT-ralfj-PUNKT-de">unter post-ÄT-ralfj-PUNKT-de anzuschreiben</a>!
 </p>
 
 <p>