Wearable computing research
Computer science education
Other stuff
Something different
Priorities - A: high, B: medium, C: low; Status - _: unfinished, X: finished, C: cancelled, P: pending, o: in progress, >: delegated. Covey quadrants - Q1 & Q3: urgent, Q1 & Q2: important
A1XMake a quiz for CS21A
A2XReserve F227 from 3:30 - 4:30 on Fridays for C++ group
A3XReserve CTC 313 from 1:30 to 2:30 on Fridays for Design Patterns group

1. Dominique's birthday : 08:03

Categories: None -- Permalink
Dominique's birthday's on December 27.

2. Oops, forgot my keys : 08:24

Categories: None -- Permalink
Forgot my keys again today. I guess I'm going home later...

3. e-learning conference tomorrow : 12:27

Categories: None -- Permalink
Manila Hotel

then rush back to school

4. Automatically detecting proxy settings : 13:30

Categories: None -- Permalink
Having gotten sufficiently annoyed at the need to maintain two Mozilla Firebird profiles just because I use a proxy in school and none at home, I decided to look up the "Automatically detect proxy configuration" option. After some digging around, this is the answer I found:

This goes into my /etc/laptop-net/profiles/school/files.d/var/www/proxy.js:

function FindProxyForURL(url,host)
{ if(isPlainHostName(host)||
    isInNet(host,"","")) return "DIRECT";
      else return "PROXY; DIRECT";

and this goes into my /etc/laptop-net/profiles/home/files.d/var/www/proxy.js:

function FindProxyForURL(url,host)
  return "DIRECT";

I deleted the other profile and changed my settings to automatically detect the proxy configuration from file:///var/www/proxy.js . Tada! No more worries. It just works.