subject:"editors\/gedit\-plugins"

Re: editors/gedit-plugins

2018-02-20 Thread Jason E. Hale

On Mon, Feb 19, 2018 at 10:07 PM, The Doctor <doc...@doctor.nl2k.ab.ca> wrote: > Need help understanding why this is happening: > > > Script started on Mon Feb 19 20:00:38 2018 > You have mail. > root@doctor:/usr/ports/editors/gedit-plugins # make > > root@doctor:/u

editors/gedit-plugins

2018-02-19 Thread The Doctor

Need help understanding why this is happening: Script started on Mon Feb 19 20:00:38 2018 You have mail. root@doctor:/usr/ports/editors/gedit-plugins # make root@doctor:/usr/ports/editors/gedit-plugins # make install ===> Installing for gedit-plugins-3.18.0 ===> Checking if gedit-p