version 1.7, 2001/03/08 06:15:00 |
version 1.8, 2002/01/06 08:47:35 |
|
|
/*$OpenXM: OpenXM/rc/asirrc,v 1.6 2000/01/21 01:22:39 takayama Exp $*/ |
/*$OpenXM: OpenXM/rc/asirrc,v 1.7 2001/03/08 06:15:00 takayama Exp $*/ |
load("gr")$ |
load("gr")$ |
load("primdec")$ |
load("primdec")$ |
load("katsura")$ |
load("katsura")$ |
Line 8 User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
|
Line 8 User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
|
if (type(User_asirrc)!=0) { |
if (type(User_asirrc)!=0) { |
print("Loading ~/.asirrc")$ |
print("Loading ~/.asirrc")$ |
load(User_asirrc)$ |
load(User_asirrc)$ |
} |
}$ |
end$ |
end$ |
|
|