k-user AT lists.siebelschool.illinois.edu
Subject: K-user mailing list
List archive
- From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
- To: Mark Hills <Mark.Hills AT cwi.nl>
- Cc: k-user AT cs.uiuc.edu
- Subject: Re: [K-user] Trouble with Making my $K_BASE
- Date: Tue, 7 Feb 2012 15:24:47 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
- List-id: <k-user.cs.uiuc.edu>
Hi Mark,
> The message you are getting looks like K_BASE is expanding to the empty
> string, which would happen if it isn't set. This probably means that you
> haven't exported K_BASE, just set it in the current shell. Can you try
> exporting it and see what happens?
No, this doesn't seem to be the cause. I have the following line
export K_BASE=/home/hossein/Sources/k-framework
in my files at $HOME/.kde/env/. KDE automatically loads these files upon
login:
http://userbase.kde.org/Session_Environment_Variables/en
See:
hossein@ubuntu:~/Sources/k-framework$
echo $K_BASE
/home/hossein/Sources/k-framework
Cheers,
--Hossein
--------------------------------------------------------------------------------------------------------------
Seyed H. HAERI (Hossein)
Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany
ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------
- [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Rosu, Grigore, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Mark Hills, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Rosu, Grigore, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Seyed H. HAERI (Hossein), 02/07/2012
- Re: [K-user] Trouble with Making my $K_BASE, Andrei Arusoaie, 02/07/2012
Archive powered by MHonArc 2.6.16.