Continue reading →

公认的Lisp最佳开发环境是Emacs + slime + sbcl。已经被vim深度忽悠住了的人怎么办？

还好有slime对vim的移植slimv，这个软件的开发也一直在持续。

最好的教程在这里：

http://kovisoft.bitbucket.org/tutorial.html

http://kovisoft.bitbucket.org/tutorial2.html

http://kovisoft.bitbucket.org/tutorial3.html

不少功能是基于gvim的，但最重要的那些都可以在vim下工作。

这些玩意儿……果然是有信仰的啊。

Ubuntu为东芝AC100提供了专门的版本，但其中浏览器的Flash Player插件无法正常工作。这里我给出一种已经测试过了的方法来解决这个问题。我的环境是：Ubuntu 11.10, 10月12日编译版，xfce桌面。

1. nVidia为tegra-2产品发布了Linux下的驱动包。一些人将其修改为可用于AC100的包。可以从下面的地址下载并安装：

https://launchpad.net/~ac100/+archive/ppa/+files/nvidia-tegra_12-0ubuntu1~alpha1monson6_armel.deb

2. 这个驱动程序现在还有点小bug。在默认设置的xfce下，窗口边缘会显示不正常。解决方法是：选择“配置管理器”->“窗口微调”->“合成”，取消掉“允许显示合成”前面的勾，然后重启X。（抱歉我用的英文版系统，不知道这几个词怎么翻译的，大家看着英文来的吧）

3. 驱动工作正常后，下载下面的预编译Flash Player库：

http://kotelett.no/ac100/phh/Android2.2/libflashplayer.so

将其拷贝至浏览器的插件目录。Firefox是/usr/lib/mozilla/plugins/，Chromium是~/.config/chromium/plugins/。

4. 用浏览器打开’about:plugins’，可以看到flashplayer已经在其中了。这时候它已经工作了。

5. Chromium有一个安全检查机制，不允许过期插件运行。在浏览包含flash的页面时总会弹出来一个警告信息。你可以通过chromium-browser –allow-outdated-plugins来无视它……具体信息可以看：

http://www.google.com/support/chrome/bin/answer.py?answer=1181003

非常感谢freenode irc服务器#ac100频道xranby和ogra_的帮忙。此外，http://ac100.grandou.net/也是一个很有用的页面。

Ubuntu 11.10发布了ARM版，今天在东芝AC100上装上了这个专门的版本，一切正常，驱动非常完美。

目前主要的问题是Ubuntu的ARM源中预编译的软件太少，比如clisp就没有。因为debian支持arm已经很多年了，所以考虑使用debian的源。

配置的步骤如下：

1. 导入debian的公钥环

#wget http://ftp-master.debian.org/keys/archive-key-6.0.asc
#gpg --import archive-key-6.0.asc
#gpg --fingerprint 473041FA
#gpg --armor --export 473041FA | sudo apt-key add -


2. 添加debian源
#sudo vim /etc/apt/sources.list
在最后添加

deb http://http.us.debian.org/debian testing main non-free contrib
deb-src http://http.us.debian.org/debian testing main

3. 更新数据库
#sudo apt-get clean
#sudo apt-get update

现在就可以安装需要的软件了。需要注意的是这种方法并不能保证系统的稳定性。

1. 开启ssh隧道转发：

ssh -qTfnN -D 8080 username@your.remote.ssh.server

2. 配置Firefox本地代理：Firefox->首选项->高级->网络->连接/设置，选择“手动配置代理”，SOCKS主机127.0.0.1，端口8080，类型SOCKSv5。

3. 开启Firefox的用隧道解析DNS开关：在地址栏输入about:config，在过滤器输入network.proxy.socks_remote_dns，双击该配置项，使其值为true。

完成。

PS: Chrome也可以设置代理（首选项->高级选项->更改代理服务器设置），但不能设置DNS，可能导致部分网站的DNS解析失败，比如twitter。

Reference:

[1] wormser. HowTo: SSH Tunnel Firefox. http://ubuntuforums.org/showthread.php?t=723025