Gentoo Archives: gentoo-user-de

From: Peter Bossy <p.bossy@××××××××××××××××××.de>
To: gentoo-user-de@l.g.o
Subject: Re: [gentoo-user-de] skript zum dateien umbenennen?
Date: Tue, 24 Aug 2004 11:13:13
Message-Id: 200408241318.30958.p.bossy@eta.vs
In Reply to: [gentoo-user-de] skript zum dateien umbenennen? by "Christian Schäfer"
1 On Dienstag, 24. August 2004 12:52, Christian Schäfer wrote:
2 > hallo zusammen.
3 >
4 > ich habe hier eine ganze latte von dateien die alle
5 > 'tile_NNxMM.tif' heissen. problem ist, dass NN eine zahl beginnend
6 > mit 01 ist und MM eine zahl beginnend mit 00.
7 >
8 > da es sich hier um circa 20.000 dateien handelt möchte ich die
9 > ungerne von hand umbenennen. fällt da jemandem eine lösung ein?
10
11 Vielleicht hättest Du dazuschreiben sollen wie der Wertebereich NN und
12 MM und die Zielbezeichnung lauten.
13
14 #!/bin/bash
15 for i in $(seq -w 1 99); do
16 for j in $(seq -w 0 99); do
17 mv -v tile_${i}x${j}.tif wasauchimmer_${i}x${j}.tif
18 done
19 done
20
21 Braucht man kein Script für, kann man auch auf der Kommandozeile in
22 eine Zeile packen.
23
24
25 --
26 Gruss
27
28 Peter
29
30 --
31 gentoo-user-de@g.o mailing list

Replies

Subject Author
Re: [gentoo-user-de] skript zum dateien umbenennen? "Christian Schäfer" <caefer@××××××××××.net>