From b0d13c94399598d0ce3b8d802a0b6ef7bd632d02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 8 Jan 2019 21:42:17 +0100
Subject: [PATCH] remove all digits to get cluster name

---
 eoptasks.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/eoptasks.py b/eoptasks.py
index 4ec59a7..cd56025 100755
--- a/eoptasks.py
+++ b/eoptasks.py
@@ -286,8 +286,10 @@ if pid:
     os.system('tmux attach-session -t %s' % tmux_session_name)
 else:
     def cluster_name(server_name):
-        return re.match(r'(.*?)(\d*)$', server_name).group(1).replace(
-                '.rbx.', '.loc.').replace('.gra.', '.loc.').replace('.sbg.', '.loc.')
+        cluster_name = re.sub(r'\d', '', server_name)
+        for location in ('rbx', 'gra', 'sbg'):
+            cluster_name = cluster_name.replace('.%s.' % location, '.loc')
+        return cluster_name
 
     tmux = libtmux.Server()
     session = tmux.find_where({'session_name': tmux_session_name})