Monthly Archives: August 2026

Rename extension of many files at once on Linux

You can do this easily with Bash parameter substitution.

Single directory:

First, I recommend a dry run so you can see what will happen:

for f in *.de.da.srt; do
    echo mv -- "$f" "${f/.de.da.srt/.da.srt}"
done

For example:

movie.de.da.srt  -> movie.da.srt
episode01.de.da.srt -> episode01.da.srt

If the output looks correct, remove echo:

for f in *.srt.de.srt; do
mv -- "$f" "${f/.de.da.srt/.da.srt}"
done

Including subdirectories:

If you have files recursively in many directories, use:

find . -type f -name '*.de.da.srt' -print0 |
while IFS= read -r -d '' f; do
    mv -- "$f" "${f%.de.da.srt}.da.srt"
done

Docker Desktop start and stop on Linux

To install Docker Desktop on Ubuntu:

?> sudo apt install ./docker-desktop-amd64.deb
?> sudo apt install docker-ce-cli
?> sudo curl -fsSL https://download.docker.com/linux/ubuntu/gpg -o /etc/apt/keyrings/docker.asc
?> sudo chmod a+r /etc/apt/keyrings/docker.asc
?> sudo tee /etc/apt/sources.list.d/docker.sources <<EOF

To start Docker Desktop in user space:

?> systemctl --user start docker-desktop

To stop Docker Desktop in user space:

?> systemctl --user stop docker-desktop

To restart Docker Desktop:

?> systemctl –user restart docker-desktop

After upgrade of Docker Desktop:

?> systemctl --user daemon-reload
?> systemctl --user restart docker-desktop