diff options
| author | Petr Lautrbach <plautrba@redhat.com> | 2019-03-05 17:38:55 +0100 |
|---|---|---|
| committer | Nicolas Iooss <nicolas.iooss@m4x.org> | 2019-03-17 20:09:59 +0100 |
| commit | c778509dd0ed3b184d720032f31971f975e42973 (patch) | |
| tree | 6bbc91673c2672a8bc2074fb028b1dec77fe4feb | |
| parent | 891cfee44f7af80ea87c10991058f9d5b66ae96e (diff) | |
| download | android_external_selinux-c778509dd0ed3b184d720032f31971f975e42973.tar.gz android_external_selinux-c778509dd0ed3b184d720032f31971f975e42973.tar.bz2 android_external_selinux-c778509dd0ed3b184d720032f31971f975e42973.zip | |
gui: Install polgengui.py to /usr/bin/selinux-polgengui
polgengui.py is a standalone gui tool which should be in /usr/bin with other
tools.
Signed-off-by: Petr Lautrbach <plautrba@redhat.com>
| -rw-r--r-- | gui/Makefile | 2 | ||||
| -rw-r--r-- | gui/modulesPage.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/gui/Makefile b/gui/Makefile index c2f982de..b2375fbf 100644 --- a/gui/Makefile +++ b/gui/Makefile @@ -31,7 +31,7 @@ install: all -mkdir -p $(DESTDIR)$(DATADIR)/polkit-1/actions/ install -m 755 system-config-selinux.py $(DESTDIR)$(SHAREDIR) install -m 755 system-config-selinux $(DESTDIR)$(BINDIR) - install -m 755 polgengui.py $(DESTDIR)$(SHAREDIR) + install -m 755 polgengui.py $(DESTDIR)$(BINDIR)/selinux-polgengui install -m 644 $(TARGETS) $(DESTDIR)$(SHAREDIR) install -m 644 system-config-selinux.8 $(DESTDIR)$(MANDIR)/man8 install -m 644 selinux-polgengui.8 $(DESTDIR)$(MANDIR)/man8 diff --git a/gui/modulesPage.py b/gui/modulesPage.py index 34c5d9e3..cb856b2d 100644 --- a/gui/modulesPage.py +++ b/gui/modulesPage.py @@ -118,7 +118,7 @@ class modulesPage(semanagePage): def new_module(self, args): try: - Popen(["/usr/share/system-config-selinux/polgengui.py"]) + Popen(["selinux-polgengui"]) except ValueError as e: self.error(e.args[0]) |