Gray_code_element

Wednesday, December 30, 2020

Wednesday, December 9, 2020

Renaming filenames, remove leading characters

This superuse post describes how a set of forward slashes (/) can be used to delete leading characters (except .) from a file name. One slash is required for each character to be deleted. I've confirmed the behavior on a Windows 10 machine.

ren "abc-*.txt" "////*.txt"
  abc-123.txt        --> 123.txt
  abc-HelloWorld.txt --> HelloWorld.txt


 ren "????*.*" "////*.*"

SVG: Two arrows with text on the ends

Example of Two arrows with text at the head of the arrow: Arrow with Text SVG Using Markers and Text tags In this tutoria...