After a couple hours of exploration, I finally decided to interpret
jpkg 'reinstall' as
   'reinstall' jpkg 'base library ide/gtk gui/gtk'

And, indeed, that worked -- I now have a working gtk on this machine.

I would hope that there was no need to reinstall base and library, but
perhaps install 'gtkide' should use reinstall by default for ide/gtk
and gui/gtk?

-- 
Raul

On Thu, Nov 10, 2011 at 12:22 PM, bill lam <[email protected]> wrote:
> One can use jpkg 'reinstall' to install gtk addons again.  If even
> that cannot produce a real gtk.ijs, I have no more idea.
>
> --
> regards,
> ====================================================
> GPG key 1024D/4434BAB3 2008-08-24
> gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to