Dave Page wrote:
>I think /usr/local/pgadmin3 is the right place. /usr/X11R6/bin should be
>for components of X11R6 that came with the OS, whereas /usr/local/ is
>specifically for additional programs installed by the local admin. If it
>ever gets popular enough to ship with 'pgLinux' for example :-) then
>/usr/pgadmin3 would seem sensible.
>
Should we really invent a new directory, requiring changes to PATH? Why
not using /usr/local/bin? In this case, we shouldn't use
/usr/local/bin/ui/*, but something distinctive as
/usr/local/bin/pgadmin.ui/*.
Regards,
Andreas