: # save - create a backup of a file # Heiner Steven (heiner.steven@odn.de), 7/96 for Name do [ -d "$Name" ] && continue for Ext in org old bak do [ -f "$Name.$Ext" -o -d "$Name.$Ext" ] || break # Unused extension done cp -p "$Name" "$Name.$Ext" done