gnomehier

[Adam Vande More]

On Fri, Dec 26, 2014 at 4:28 PM, Warren Block <wblock at wonkity.com> wrote:

> On Fri, 26 Dec 2014, Matthias Andree wrote:
>
>  Am 26.12.2014 um 20:22 schrieb Jos Chrispijn:
>>
>>>    With portmanager I got this line:
>>>    ===>>> The misc/gnomehier port has been deleted: Not needed anymore
>>>    But I still have it active. How can I remove it when the port itself
>>> is
>>>    nog existing anymore as <gnomehier> deinstall won't work anymore as
>>> its
>>>    portfolder is gone...
>>>
>>
>> pkg delete -f gnomehier
>>
>> should do the trick.
>>
>
> Well, yes, but won't that leave the package database with missing
> dependencies on it?
> 'pkg info -r gnomehier' will show the list of ports that require it.
> Rebuild those ports and gnomehier can be deleted without problems.
> (Untested):
>   portmaster `pkg info -qr gnomehier`
>   pkg delete gnomehier



yes it would, but a 'pkg update' after it would re-install those pkg's to
avoid compiling and other possible interdependence issues.

Or do the pkg update first then delete which shouldn't need the force flag
at that point.


-- 
Adam