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: