Thomas Leonard schrieb:
> On 08/12/2007, Bernd Eggink <monoped@...> wrote:
>> Thomas Leonard schrieb:
>>> On 07/12/2007, Bernd Eggink <monoped@...> wrote:
>>>> In a script I need the name of the actual pinboard. Is there a more
>>>> elegant way of getting it than by
>>> No, but what do you need it for?
>> I'm writing a script-based icon manager which maintains different
>> iconsets and allows switching between them with a mouse click. To
>> switch, I remove the pinboard (rox -p), change a symbolic link, and then
>> show the pinboard again (rox -p name). That's why I need to know the
>> pinboard rox has been started with originally.
>> I also want to warn the user if an icon he is about to remove is in use.
>> For that purpose I examine globicons and (again) the current pinboard
>> file, using xgawk.
Sorry, have been away from this group for a while.
> Why not use a different <name> in "rox -p name", instead of using the
> same name and changing the symlink?
My icon files have a common base directory, which is a symbolic link.
Changing this link changes all icons at the same time (also options and
background), but leaves their positions on the pinboard and all other
properties unchanged. I can't see another way to achieve this than by
switching the pinboard off and on. Therefore, any direct means of
getting the actual pinboard name would be quite helpful
> What does it mean for an icon to be "in use"?
I mean that a file path in the current pinboard is associated with that
icon (via globicons).
Actually the whole thing works quite well already. I'm presently
re-writing it in Python, and if that is done, I'll announce it on the
list. Maybe somebody finds it useful.