From ce37e3727cec4e79ad015351a7775af10498a276 Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Tue, 29 Apr 2025 11:56:10 +0200
Subject: [PATCH] add seweb and sehistory to bin/

---
 getsestuff | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/getsestuff b/getsestuff
index 56ed67c..78d0d6a 100755
--- a/getsestuff
+++ b/getsestuff
@@ -465,7 +465,7 @@ def do_bin():
     chdir(home)
     if not exists('bin'):
         do('mkdir -p bin')
-    pgms  = ['frappy', 'sea']
+    pgms = ['frappy', 'sea', 'seweb', 'sehistory']
     if nicosroot:
         executable = f'{nicosenv}/bin/python3'
     else: