![]() ![]() ![]() Mv - '88 - Intro to Automated Test Generation.mp4' '088 - Intro to Automated Test Generation.mp4' Mv - '86 - Coverage of Random Testing.mp4' '086 - Coverage of Random Testing.mp4' Worst-Case Probability.mp4' '082 - Measured vs. Mv - '81 - Proof of Guarantee (Sketch).mp4' '081 - Proof of Guarantee (Sketch).mp4' Mv - '80 - Probabilistic Guarantee.mp4' '080 - Probabilistic Guarantee.mp4' Mv - '8 - Static Program Analysis.mp4' '008 - Static Program Analysis.mp4' Mv - '79 - Cuzz Algorithm.mp4' '079 - Cuzz Algorithm.mp4' Mv - '78 - Concurrency Bug Depth Solution.mp4' '078 - Concurrency Bug Depth Solution.mp4' Mv - '7 - Dynamic Program Analysis.mp4' '007 - Dynamic Program Analysis.mp4' Mv - '39 - Conditions Example.mp4' '039 - Conditions Example.mp4' Mv - '3 - Ariane Rocket Disaster.mp4' '003 - Ariane Rocket Disaster.mp4' If you'd like this on a platform that isn't using Perl's rename, find out how to install that first.Īnd here's a test harness: $ touch ' This is a significantly stunted alternative (see man rename.ul) which won't understand the above. Many distributions use rename.ul from the util-linux package as their default rename binary. This means you don't have to worry too much about carrying any extension or prefix over. It will search and replace the first number-string it finds with a zero-padded version and leave the rest of the filename alone. The code above is for a 5-digit number (including a variable number of leading zeros). This is similar to the other printf-style answers here but it's all handled for us. ![]() The result is a truly compact solution: rename 's/\d /sprintf("d", $
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |