2018年6月21日 星期四

解決 Markdown Preview Enhanced 產生的 HTML 文件中 side toc 不見的方法


VSCode 的 Markdown Preview Enhanced plugin 可以將 Markdown 文件轉成 HTML 文件. 在生成的 HTML 文件中左邊會有目錄做為導覽.

但是如果 markdown-preview-enhanced.enableScriptExecution 的設定沒有設為 ture, 則
- 生成的 HTML 中沒有左邊導覽
- 在 VSCode preview 時, 無法看見 CSS 的效果


markdown-preview-enhanced.enableScriptExecution 設為 true 就可以解決此問題.

2018年1月19日 星期五

使用 awk 來抽離 csv 檔案中的部分欄位

misc_technique
使用 awk 來抽離 csv 檔案中的部分欄位
gawk -F, '{OFS=","} {print $1, $2}' 4c-students.csv  > 4c-stud-import.csv
會將 4c-students.csv 中的第一及第二 column 抽離出來, 並以逗號作為分隔字元. OFS (Output File Separator) 是內建的變數, 設定輸出時使用的分隔字元.
參考:

2017年9月16日 星期六

Java 8 的 Date 及 Time 的處理

方便機器處理的日期時間類別 java.time.Instant; java.time.Duration.

方便人類閱讀的日期時間類別: java.time.LocalDate, java.time.LocalTime, java.time.LocalDateTime; java.time.Period