摘要: Ubuntu_Gedit配置 为了换Ubuntu的时候能够更加方便,不用再用手重新打一遍代码,丢几个Gedit配置…… External Tools gdb compile (F2) #!/bin/sh fullname=$GEDIT_CURRENT_DOCUMENT_NAME name=`echo 阅读全文
posted @ 2021-01-14 19:12 pycr 阅读(238) 评论(1) 推荐(0) 编辑