推 yu00928:感謝Orz 我等一下馬上試試 10/21 10:37
推 yu00928:感動T^T 問題完全解決了 非常謝謝您 10/21 11:17
※ 引述《psboy (屠牛特攻隊)》之銘言：
: 剛剛看了一下code block的設定
: 你應該要找console terminal程式是用哪個
: 然後去找那個terminal程式的設定字體去改才對
: code block設定terminal程式的地方在
: Settings->Environment->General Settings->Terminal to launch console programs:
: 改成gnome-terminal -e
: 然後跑程式出來terminal畫面之後
: 在terminal視窗按拉近就會放大字體
: -
: 我這邊console terminal沒改的時候是xterm -T $TITLE -e
: man半天xterm改font大小改不成功
: 腦羞乾脆用gnome-terminal xD
後來比較有空時實際上跑了一下
發現gnome-terminal的參數跟xterm不一樣 _A_
不能用-e
要用-x
所以完整的參數應該是用gnome-terminal -t $TITLE -x
-
連那個title也不是-T而是-t (碎碎念
而且附帶一提
在linux下面是沒有system("pause")的
會出現sh: PAUSE: not found
因為呼叫不到PAUSE
不需要特地去寫這個PAUSE去暫停
code block會自動幫你停在執行完畢畫面
不會馬上關閉terminal
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.147.152.2