Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=548607 --- Comment #2 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2009-12-18 09:48:57 EDT --- A few additional random thoughts on this package: * On Fedora there's already an /sbin/pvs (provided by lvm2), and /sbin is now in many users' paths. Is this likely to cause trouble? * I see a "Provides:", that's good. Should it provide "prototype-verification-system" instead of "pvs", since "pvs" has other meanings? * It seems to me that PVS should have a desktop entry, as defined by http://standards.freedesktop.org/desktop-entry-spec/latest/ That way, people can invoke it from the GUI, and double-click on ".pvs" files to invoke things correctly. Something like this in pvs.desktop: [Desktop Entry] Version=1.0 Type=Application Name=Prototype Verification System (PVS) Comment=A verification system (a specification language integrated with support tools and a theorem prover). TryExec=pvs Exec=pvs %F # Icon=fooview MimeType=image/x-pvs; (Obviously, such a desktop entry should be submitted upstream, so that in the long term everyone will package it up & they'll maintain the desktop entry.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review