Changing File Names(404)
*1. If You Landed Here, It Is a Mistake(Probably)
Spaces are very hard to type on a unix machine. Each time I want to type them I have escape them with a backslash, and it is kinda annoying to do that. ∴ I am writing a script to change the file names:
dirname="$(dirname "$file")" basename="$(basename "$file")" newname="${basename// /-}" newpath="$dirname/$newname" #Ommitted--Do the normal mv commands, you know what to do here
2. Where to go from here?
2.1. Recent Notes:
2.2. Navigation links
- Click the 'garden' text at the top. It will take you to the homepage.
- Go to the various indexes at the bottom.
- Go visit my other site https://tweetor.org. It is a FOSS social media program
- View the source code at https://git.tweetor.org
3. Elsewhere
3.1. References
3.2. In my garden
Notes that link to this note (AKA backlinks).