笔记：string格式化

public static void main(String[] args) {
        /*Properties props = System.getProperties(); // 获得系统属性集
        String osName = props.getProperty("os.name"); // 操作系统名称
        String osArch = props.getProperty("os.arch"); // 操作系统构架
        String osVersion = props.getProperty("os.version"); // 操作系统版本*/

        String time = "2021-03-15 09:40:00";
        time= time.replaceAll("[[\\s-:punct:]]","");


        System.err.println(time);
    }