榜单
服务器优惠
AI论文
IT文库
-
Setup your environment
Set up your environment Environmental variables Shell autocomplete Editors and IDEs VS Code JetBrains IDEs Vim and NeoVim CoC ALE Emacs LSP clients Example for Kakoune Exa... -
9.8. Keyboard configuration
9.8. Keyboard configuration 9.8. Keyboard configuration To achieve a consistent keyboard configuration so that all applications interpret a keyboard event the same way, all pro... -
文本编辑
文本编辑器 AkelPad Atom 官网｜下载页面 EmEditor 官网｜下载页面 EverEdit 官网｜下载页面 GNU Emacs 官网｜下载页面 Light Table Markdown Plus Notepad++ 官网｜下载页面 Notepad2-mod PSPad 官网｜下载页面 Sublime Text ... -
‘Hello world’ in Agda
‘Hello world’ in Agda Hello, Agda! Hello, World! ‘Hello world’ in Agda This section contains two minimal Agda programs that can be used to test if you have installed Agda corr... -
‘Hello world’ in Agda
‘Hello world’ in Agda Hello, Agda! Hello, World! ‘Hello world’ in Agda This section contains two minimal Agda programs that can be used to test if you have installed Agda corr... -
2.3.1 避免bugs
2.3.1 避免bugs 2.3.1.1 避免麻烦的最佳代码实践 2.3.1.2 pyflakes：快速静态分析 2.3.1.2.1 在当前编辑文件上运行pyflakes 2.3.1.2.2 随着打字进行的拼写检查器整合 2.3.1 避免bugs 2.3.1.1 避免麻烦的最佳代码实践 Brian Kernighan “每个人都知道除... -
5. First Steps
First Steps Using The Interpreter Prompt How to Quit the Interpreter Prompt Choosing An Editor PyCharm {#pycharm} Vim Emacs Using A Source File Getting Help Summary Fi... -
‘Hello world’ in Agda
‘Hello world’ in Agda Hello, Agda! Hello, World! ‘Hello world’ in Agda This section contains two minimal Agda programs that can be used to test if you have installed Agda corr... -
宏
宏 定义与运行 宏队列 宏 记录一系列操作，在需要的时候运行 例如给一个单词加 “ ，可以分解为以下操作: M - b 移动到词首 " M-f 移动到词尾 " 这种重复的操作往往需要经常执行，手动未免太没有效率。我们可以把这些操作制作成宏，然后运行这个宏 当然，这只是最简单的宏。结合正则... -
9 尾声
9 尾声 嗷呼，经过以上调教，你的 vim 已经成为非常舒适的 C/C++ 开发环境呢。等等，重装系统后又得折腾一次？不怕，除了 clang 等等几个需要源码安装的工具外，基本上，vim 的插件和相关配置文件你可以提前备份好，装完系统后恢复到对应目录中即可，丝毫不费脑力。 2011 年 9 月我写了篇《拼装的艺术：vim 之 IDE 进化实录》，原计划...