Evan Martin (evan) wrote in evan_tech,
Evan Martin

running .profile on ubuntu

Since a bunch of people (myself included) have trouble with this:
You're told to set your path in your ~/.bash_profile, but Gnome doesn't source this when you bring up a terminal (nor has it already been sourced in Gnome's startup). What to do?

Simple: Gnome's startup does run through /bin/sh, which sources ~/.profile. Any changes you make in there will take effect when you next log in.

  • blog moved

    As described elsewhere, I've quit LiveJournal. If you're interested in my continuing posts, you should look at one of these (each contains feed…

  • dremel

    They published a paper on Dremel, my favorite previously-unpublished tool from the Google toolchest. Greg Linden discusses it: "[...] it is capable…

  • treemaps

    I finally wrote up my recent adventures in treemapping, complete with nifty clickable visualizations.

  • Post a new comment


    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.