Difference between revisions of "Shell"
From Wiki at Neela Nurseries
(create local page on shell scripting 2023-08-08) |
(No difference)
|
Revision as of 18:57, 8 August 2023
Shell Scripting
How to produce a usable filename which contains <ESC> characters, and to rename that badly named file:
$ ls -q `find . -inum 9704871` './'$'\033\033' $ mv mv './'$'\033\033' betterfilename
