Return to asirrc CVS log

Up to [local] / OpenXM / rc

Annotation of OpenXM/rc/asirrc, Revision 1.15

1.15    ! takayama    1: /*$OpenXM: OpenXM/rc/asirrc,v 1.14 2005/07/29 07:44:53 takayama Exp $*/
        !             2: import("contrib-setord.rr")$
        !             3: import("gr")$
        !             4: import("primdec")$
        !             5: import("katsura")$
        !             6: import("bfct")$
        !             7: import("names.rr")$
        !             8: import("oxrfc103.rr")$
1.5       takayama    9: User_asirrc=which(getenv("HOME")+"/.asirrc")$
1.6       takayama   10: if (type(User_asirrc)!=0) {
1.12      takayama   11:    if (!ctrl("quiet_mode")) print("Loading ~/.asirrc")$
1.15    ! takayama   12:    import(User_asirrc)$
1.13      takayama   13: }else{ }$
1.1       takayama   14: end$
                     15: