Editing .bashrc doesn't work.

[MASTER260]

Hey, so, I tried adding the following to my .bashrc file:

Code: Select all

export DEVKITPRO=/home/jonathan/devkitPro
export DEVKITARM=${DEVKITPRO}/devkitARM
export DEVKITPPC=${DEVKITPRO}/devkitPPC

The problem is, when I try to compile stuff, I still get these errors:

Code: Select all

Makefile:7: *** "Please set DEVKITARM in your environment. export DEVKITARM=<path to>devkitARM.  Stop.
Makefile:7: *** "Please set DEVKITPPC in your environment. export DEVKITPPC=<path to>devkitPPC".  Stop.

Here's the .bashrc file in case it helps: https://docs.google.com/file/d/0B1jrUd0 ... FQUmc/edit

I feel like I did something stupid. What did I do wrong?

Thanks,
M260

[WinterMute]

Do you have a ~/.profile? What's in there if you do?

[MASTER260]

Do you have a ~/.profile? What's in there if you do?

Code: Select all

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
	. "$HOME/.bashrc"
    fi
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi