From 7bf11c09b4ff1a0f3fe632df760061c66838c64d Mon Sep 17 00:00:00 2001 From: "martin f. krafft" Date: Tue, 30 Sep 2008 15:19:06 +0200 Subject: [PATCH] add ravel shortcut to config --- .ssh/config.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.ssh/config.in b/.ssh/config.in index 00059f3..3c7e62f 100644 --- a/.ssh/config.in +++ b/.ssh/config.in @@ -310,6 +310,9 @@ Host argento.debian.org | argento Host allegri.debian.org | allegri Hostname allegri.debian.org User madduck +Host ravel.debian.org | ravel + Hostname ravel.debian.org + User madduck Host sergei.ifi.uzh.ch | sergei Hostname sergei.ifi.uzh.ch -- 2.39.5