Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

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.
Subscribe

  • flipped bits

    % bdiff /mnt/disk1/large_file /mnt/disk2/same_large_file diffing: [........................................] offset diff 346360387: 01011111 :…

  • yep, it's toast / wait, no it's not

    It wasn't the USB enclosure. Error 47 occurred at disk power-on lifetime: 2330 hours (97 days + 2 hours) Model Family: Seagate Barracuda 7200.7…

  • my "final destination" reference was prescient

    When I last discussed my disk problems, I had finally managed to recover my data though there was an ominous noise from my new disk. In the…

  • Post a new comment

    Error

    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.
  • 4 comments