misc_tools Various tools, especially OS admin or backup tools, in either bash or python. See details in each folder.