version 1.12, 2003/10/19 06:07:45 |
version 1.13, 2003/12/12 03:04:22 |
|
|
/*$OpenXM: OpenXM/rc/asirrc,v 1.11 2003/05/18 00:13:14 takayama Exp $*/ |
/*$OpenXM: OpenXM/rc/asirrc,v 1.12 2003/10/19 06:07:45 takayama Exp $*/ |
load("gr")$ |
load("gr")$ |
load("primdec")$ |
load("primdec")$ |
load("katsura")$ |
load("katsura")$ |
Line 9 User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
|
Line 9 User_asirrc=which(getenv("HOME")+"/.asirrc")$ |
|
if (type(User_asirrc)!=0) { |
if (type(User_asirrc)!=0) { |
if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$ |
if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$ |
load(User_asirrc)$ |
load(User_asirrc)$ |
}$ |
}else{ }$ |
end$ |
end$ |
|
|