はてなブックマーク

REM YYYY/MM/DD SET _DATE_=%DATE% REM YYYY-MM-DD SET _DATE_=%DATE:/=-% REM YYYYMMDD SET _DATE_=%DATE:/=% REM YYYY/MM SET _DATE_=%DATE:~1,7% REM YYYY SET _DATE_=%DATE:~0,4% REM YYYYMM SET _DATE_=%DATE:~0,7% REM MM/DD SET _DATE_=%DATE:~5,5% REM HH:MI:SS.MIS SET _TIME_=%TIME% REM HHMISS SET _TIME_=%TIME::=% SET _TIME_=%_TIME_:~0,6% REM HH:MI:SS SET _TIME_=%TIME:~0,8% REM HH:MI SET _TIME_=%TIME:~0,5% R

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

reg="/^CREATE DATABASE .*\`[a-zA-Z0-9_]*\`.*/" csplit -z -f mysqldump_ -k mysqldump-full.dump "$reg" {*}