跳到主要內容

[Linux] Elementary OS 字體調校

用 gesetting 取得 elementary os 的等寬字體（這也是終端機默認字體）：
gsettings get org.gnome.desktop.interface monospace-font-name
會顯示目前字型跟字體大小：
Roboto Mono 10

 設定字體大小：
gsettings set org.gnome.desktop.interface monospace-font-name 'Roboto Mono 12'

可以微調 text-scaling-factor：
gsettings set org.gnome.desktop.interface text-scaling-factor <value>




標籤：

留言

張貼留言

這個網誌中的熱門文章

[Python] print 同時輸出到 file 和 console

在 Python 撰寫程式時，我們會希望螢幕 stdout 輸出可以同時記錄到 log 檔案裡。 但是螢幕輸出可能含有 ASCII escape codes 的顏色資訊，輸出的 log 檔案會有類似 ^[[01;32m 這種字樣出現。 我採用比較簡單的解法： 先將 print 函式輸出的訊息，同時導向到螢幕，同時儲存在指定的 log.txt 檔案中。 再用 sed 指令，將 log.txt 內的 ASCII escape code 清除。 方法如下： import sys class PrintLog(object): def __init__(self): self.console = sys.stdout self.log_file = open("log.txt", "w") def write(self, msg): self.console.write(msg) self.log_file.write(msg) def flush(self): pass def main(): original_stdout = sys.stdout sys.stdout = PrintLog() print " This is a testing message." sys.stdout = original_stdout if(__name__ == "__main__"): main() 也就是將 sys.stdout 指向自定義的 PrintLog class，讓 PrintLog 來處理輸出文字，用完 PrintLog 後再把 sys.stdout 導向回原本的 stdout。 接著使用 sed 指令刪除 log.txt 的 ASCII escape code： sed -i 's/\x1b[^m]*m//g' ./log.txt 上面的正規，\x 後面用來接一個 16 進位 ASCII 編碼，其中 1b 代表的是 ESC 退出鍵。 到此即可獲得沒有顏色編碼的 log.tx...
2 則留言
閱讀完整內容

[C++] 計算程式執行時間：clock 和 time 函式

要計算一段程式碼執行時間，可以用 time 函式： 1 2 3 4 5 time_t start, end; start = time(NULL); // DO SOMETHING... end = time(NULL); cout " [Msg] total time: " difftime(end, start) " sec" endl; time 函式的精確度只到達秒，如果要精確到毫秒等級，要用 clock 函式： 1 2 3 4 5 6 clock_t start, end; start = clock(); // DO SOMETHING... end = clock(); cout ( double )(finish - start) / CLOCKS_PER_SEC endl;
張貼留言
閱讀完整內容