Come posso generare un nuovo nome per un file se esiste un file esistente con lo stesso nome? In un ambiente desktop viene generato un nuovo nome aggiungendo un numero alla fine del nome del file, ma come si può ottenere dalla riga di comando?
Sto usando il sistema operativo Android con Busybox.
mktemp
?
mktemp
non funzionerà.