export EDITOR=vim
ctrl-x ctrl-e...
分类：
系统相关 时间：
2014-07-22 23:03:52
阅读次数：
347
前文介绍了如何用Maven构建Android工程，现在进一步介绍如何使用JDEE编写程序。Ubuntu 14.04 Android 使用Maven二 创建自己的Maven工程如何安装JDEE可以参考之前的文章：Emacs 24.3 配置JDEE首先要安装一个m2jdee的插件，能够根据maven的pom.xml中的配置生成jdee所需的prj.el文件。获取该项目：git clone git@gi...
分类：
移动开发 时间：
2014-07-22 22:59:56
阅读次数：
438
eshell是emacs shell的简称,是emacs自带的shell.开始设置的时候还在想是否要找到它的key map (eshell-mode-map?).
原来它是采用hook设置,如下所示
(add-hook 'eshell-mode-hook
(lambda ()
(local-set-key (kbd "C-j") 'switch-to...
分类：
其他好文 时间：
2014-05-07 05:25:39
阅读次数：
253
用笔者的经历现身说法，编程的确是一件需要极大、极大耐心的活儿。加上使用的是Emacs编辑器（谢谢老顾的建议和他的耐心：D），会犯更多的小错误，解决起来也更加令人烦恼。耐心很重要。对于第五条，也比较赞同，笔者已经习惯了遇到错误去百度一下错误代码，同时会浏览一下相关的错误例子以及原因，学习很快。最后一条同样重要，周围的很多同学，遇到一点小问题就跑到论坛问老师，个人很反感。我想：在现在这个阶段，只要你想...
分类：
其他好文 时间：
2014-05-06 18:42:46
阅读次数：
342
记得几年前开始使用Emacs，因为使用ctrl键太频繁了，所以上网查了下解决方案，看到这篇文章。把capslock和左ctrl交换，简直要泪流满面啊！立马照着做，从此在所有使用的电脑上都对此进行了设置，一直用到现在。windows上改键的软件有很多，比如小巧的remapkey。linux上使用xmo...
分类：
其他好文 时间：
2014-05-06 00:15:52
阅读次数：
397
我记得前段时间有个朋友问我为什么在emacs中打不开matlab程序?明明在terminal下是能打开的,却在emacs中不行.
今天自己终于遇到了类似的问题,我今天安装racket 6.0.安装好后racket程序的执行路径为/usr/local/racket/bin
然后我将这个路径加入到PATH里了,在terminal环境下能打开
接下来安装Geiser,它是emacs下连接r...
分类：
其他好文 时间：
2014-05-03 23:50:28
阅读次数：
429
首先用package system安装android-mode, 然后编辑~/.emacs.d/init.el文件，添加下面几行：(require 'android-mode)
(setq android-mode-sdk-dir "/opt/android-sdk-linux/")现在重新启动emacs，然后M-x 中运行命令android-start-emulator此时会提示输入Androi...
分类：
移动开发 时间：
2014-05-02 22:49:40
阅读次数：
561
原本想花点时间来学习下Vim或者emacs，结果在网上搜索到这篇文章骂战挺多的，但是也长见识http://bbs.csdn.net/topics/390306165下面是windows下的emacs学习教程，如果真想学习emacs我觉得还是找个Unix-like的操作系统（MAC
OSX和Linux...
分类：
其他好文 时间：
2014-05-01 14:51:38
阅读次数：
316
从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
