Since the poster also wanted a different executable name:  use the
wrapper

#! /bin/sh
exec /usr/local/bin/lyx ${1+"$@"}

and call it, say, lyx-devel.

Mate

Reply via email to