Skip to Content.
Sympa Menu

k-user - Re: [K-user] Trouble with Making my $K_BASE

Please Wait...

k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Trouble with Making my $K_BASE


Chronological Thread 
  • 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/
--------------------------------------------------------------------------------------------------------------




Archive powered by MHonArc 2.6.16.

Top of Page