🚀 go-pugleaf

In article <1993Jan19.232354.326@halfab.ka.sub.org> me@halfab.ka.sub.org   
(Udo_Meyer) writes:
> In article <1993Jan18.112822.8041@fokus.gmd.de> rfi@jeans.fokus.gmd.de  
(Robert  
> Fischer) zitiert:
> ....
> > 1. Parameter "options" tut nix.
> > 2. Namen aendern beim Verschieben/Kopieren geht nicht, weil es der  
> > Workspace Manager ja auch nicht kann!?
> ....
> 
> Ich muss zugeben dass ich es noch nicht probiert habe, aber eine der  
Optionen
> lautet doch 'Datei duplizieren' und die gleich lautende Funktion aus dem  
Menue
> klappt doch ganz gut.
> Den Rest muss man scheinbar durch anschliessendes Umbenennen erledigen.
..
Das Problem liegt im Woertchen "anschliessend". Wegen des bekannten Bugs  
"sagt" der WSManager nicht, wann er fertig ist; die Duplizierungs-Aktion  
laeuft im Hintergrund. So ist beim sofort folgenden Umbenennen die Datei  
noch nicht da; der WSM meldet : Datei gibt's nich! Mit einiger Trickserei  
waere es wohl moeglich, rauszukriegen, wann erfolgreich dupliziert wurde,  
aber das kann ja wohl nicht Sinn der Sache sein.

Gruss, Robert.

-------------------------------------------------------
   Robert Fischer, bei GMD-Fokus, Berlin

   (Gesellschaft fuer Mathematik und Datenverarbeitung - 
    Forschungszentrum fuer Offene Kommunikationssysteme)

   rfi@fokus.gmd.de
   ## NeXT-Mail willkommen ##
-------------------------------------------------------