分类目录归档:工具和技巧

slimv = slime on vim

公认的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下工作。

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

Toshiba AC100 Ubuntu安装Flash Player

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 ARM版使用Debian的源安装软件

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

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

Linux下用ssh隧道和Firefox翻墙

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