[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #57535] PKG_DEL is not sourced when path() rem
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #57535] PKG_DEL is not sourced when path() removes a directory from the load path |
Date: |
Fri, 3 Jan 2020 18:04:00 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36 |
Follow-up Comment #1, bug #57535 (project octave):
And while we're at it, setting the same path() twice in a row should not
source the PKG_ADD of a directory since it was already in the previous load
path. In other words, to handle PKG_ADD and PKG_DEL properly, how I think
users expect them to work, we need to compute a difference of directories each
time a new load path is set, and only call PKG_ADD or PKG_DEL for directories
that have been added to the set or removed from the set.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?57535>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/