Skip to content
This repository was archived by the owner on Jan 26, 2024. It is now read-only.

Commit b725343

Browse files
committed
changed file and folder names to a sane scheme
1 parent c19129e commit b725343

34 files changed

+44
-0
lines changed
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

rename-files.zsh

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
#!/usr/bin/zsh
2+
3+
foreach folder in $(find "$PWD" -maxdepth 1 -mindepth 1 -name ".*" -prune -o -type d -exec basename {} \;)
4+
echo "moving folder $folder:"
5+
number="$(( ${folder##e} ))"
6+
if [[ $number -lt 10 ]]; then
7+
newfolder="000$number"
8+
elif [[ $number -lt 100 ]]; then
9+
newfolder="00$number"
10+
elif [[ $number -lt 1000 ]]; then
11+
newfolder="0$number"
12+
else
13+
newfolder="$number"
14+
fi
15+
16+
if [[ "$folder" != "e$newfolder" ]]; then
17+
git mv -v "$folder" "e$newfolder"
18+
fi
19+
end
20+
21+
foreach folder in e*
22+
cd "$folder"
23+
24+
foreach file in *
25+
echo "moving file $file:"
26+
ending="${file##*.}"
27+
number="$(( ${${file##euler}%%.*} ))"
28+
if [[ $number -lt 10 ]]; then
29+
newfile="000$number"
30+
elif [[ $number -lt 100 ]]; then
31+
newfile="00$number"
32+
elif [[ $number -lt 1000 ]]; then
33+
newfile="0$number"
34+
else
35+
newfile="$number"
36+
fi
37+
38+
if [[ "$file" != "euler${newfile}.${ending}" ]]; then
39+
git mv -v "$file" "euler${newfile}.${ending}"
40+
fi
41+
end
42+
43+
cd ..
44+
end

0 commit comments

Comments
 (0)