From 12d7b5dae905125a76ad9769dcad00a8f278f234 Mon Sep 17 00:00:00 2001 From: Enrico Faulhaber Date: Tue, 23 Jul 2024 12:16:15 +0200 Subject: [PATCH] remove cfg_editor for now as it was not functional... fixes: #4881 related: #4882 Change-Id: Ic8c5ee06fcdd48b8b0562b5b1275296d2b155f06 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/34226 Tested-by: Jenkins Automated Tests Reviewed-by: Jens Krueger Reviewed-by: Georg Brandl Reviewed-by: Enrico Faulhaber --- debian/frappy-gui.install | 1 - setup.py | 4 +++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/frappy-gui.install b/debian/frappy-gui.install index c526f30..506ae26 100644 --- a/debian/frappy-gui.install +++ b/debian/frappy-gui.install @@ -1,3 +1,2 @@ usr/bin/frappy-gui -usr/bin/frappy-cfg-editor usr/lib/python3.*/dist-packages/frappy/gui diff --git a/setup.py b/setup.py index a5d63f2..144c039 100755 --- a/setup.py +++ b/setup.py @@ -30,7 +30,9 @@ from setuptools import find_packages, setup import frappy.version -scripts = glob(path.join('bin', 'frappy-*')) +# cfg-editor is currently not functional +scripts = [script for script in glob(path.join('bin', 'frappy-*')) + if script != 'frappy-cfg-editor'] uidir = path.join(path.dirname(__file__), 'frappy', 'gui', 'ui') uis = [path.join('gui', 'ui', entry) for entry in listdir(uidir)]