jEdit, one instance only on Ubuntu

Whenever I open an additional file once jEdit is already running on Ubuntu, jEdit opens an additional window into which it loads the file. How to solve it?

1. find the file "/usr/share/jedit/jedit.sh"
2. add "-background -reuseview" between ~.jEdit and "$@"

Compile Genia Tagger

1. in morph.cpp, add
     #include <cstdlib>

Compile SRILM

1. mkdir %SRILM%
2. mv srilm.tgz %SRILM%
3. cd %SRILM%
4. chmod -R 777 .
5. modify Makefile
    5.1 $ sbin/machine-type, suppose it returns i686
    5.2 in common/Makefile.machine.i686
          GCC_FLAGS = -m64 -mtune=i686 -Wreturn-type -Wimplicit
          insert NO_TCL = X
          delete TCL_INCLUDE, TCL_LIBRARY
6. make MACHINE_TYPE=i686-m64 World

Install gnuplot 4.6 with pdf on Ubuntu

http://blog.pengyifan.com/install-gnuplot-4-6-with-pdf-on-ubuntu/

Compile fnTBL

http://www.cs.jhu.edu/~rflorian/fntbl/

1. check cpu type
    less /proc/cupinfo

2. change makefile $FNTBL/src/Makefile
    delete "-march=pentium4" or change it to "-march=XXX"

3. change source file $FNTBL/src/fnTBL_train.cc, line 883
    change "static_cast<unsigned int>" to "static_cast<unsigned long int>"

4. compile
    > make all

函数式编程的另类指南(1)

http://blog.pengyifan.com/%e5%87%bd%e6%95%b0%e5%bc%8f%e7%bc%96%e7%a8%8b%e7%9a%84%e5%8f%a6%e7%b1%bb%e6%8c%87%e5%8d%971/

Proxy Firefox through a SSH tunnel

Have you ever wanted to visit sites during the day from a location that denied access to those sites? What you need is the ability to create a secure and encrypted ssh connection to tunnel your browser traffic through. If you have access to a remote machine by way of ssh, you can set up Firefox to visit these sites.

The following method is only tested on Windows XP, with cygwin installed.

LOCAL_PORT: localhost port for ssh tunnel

SERVER_NAME: remote machine

1. set up firefox proxy

• preferences --> advanced --> network --> settings
• choose SOCKS v5
• manual proxy configurations:
• SOCKS 
• Host: 127.0.0.1:LOCAL_PORT
• No Proxy for: localhost, 127.0.0.1
• leave the rest of entries BLANK

2. set up firefox DNS

• open "about:config" page in Firefox
• search "network.proxy.socks_remote_dns", set the value to "true"

3. establish ssh tunnel

   ssh -C2qTnN -D LOCAL_PORT username@SERVER_NAME