| | |
| | | import java.nio.file.Files; |
| | | |
| | | /** |
| | | * |
| | | * Eine Datei duplizieren |
| | | * |
| | | * @author Ulrich Hilger |
| | | * @version 0.1, 08.11.2024 |
| | | */ |
| | | public class Duplicator { |
| | | |
| | | /** |
| | | * Eine Datei duplizieren. Es entsteht eine neue Datei mit Namen |
| | | * [Dateiname]-Kopie.[Endung], d.h. eine Datei namens datei.txt |
| | | * wird dupliziert in datei-Kopie.txt |
| | | * |
| | | * Wenn die Zieldatei bereits existiert, wird der neuen Datei eine |
| | | * laufende Nummer angehaengt, d.h. aus datei.txt wird datei-Kopie-1.txt, |
| | | * wenn datei-Kopie.txt bereits existiert. |
| | | * |
| | | * @param base der absolute Basispfad |
| | | * @param relPfad relative Pfad nebst Name der zu duplizierenden Datei |
| | | * @return Name des erstellten Duplikats |
| | | * @throws IOException wenn etwas schief geht |
| | | */ |
| | | public String duplizieren(String base, String relPfad) throws IOException { |
| | | File srcFile = new File(base, relPfad); |
| | | String fnameext = srcFile.getName(); |