NEW: For a prettier blog interface, see the Wordpress version!

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.

Previous day | Next day

I'd love to hear about any questions, comments, suggestions or links that you might have. Your comments will not be posted on this website immediately, but will be e-mailed to me first. You can use this form to get in touch with me, or e-mail me at .

Page: 2003.08.07
Updated: 2004-11-2106:44:1306:44:13-0500
NOTE: ANTI-SPAM MEASURE NOW IN PLACE. Please answer the following question with the right number in order to send me your comment.
What is two minus one? (hint: one ;) )