pike.git / lib / modules / Local.pmod

version» Context lines:

pike.git/lib/modules/Local.pmod:1:   #pike __REAL_VERSION__    - // $Id: Local.pmod,v 1.4 2002/08/28 09:36:58 mikael Exp $ + // $Id: Local.pmod,v 1.5 2002/08/28 09:45:13 mikael Exp $      //! @[Local] gives a local module namespace used for locally   //! installed pike modules. Modules are searched for in   //! the directory @tt{pike_modules@} which can be located in   //! the user's home directory or profile directory, or in any   //! of the system directories @tt{/opt/share, /usr/local/share,   //! /opt@} or @tt{/usr/local/@}. The user's home directory is   //! determined by examining the environment variable HOME, and   //! if that fails the environment variable USERPROFILE. If the   //! environment variable PIKE_LOCAL_PATH is set, the paths specified
pike.git/lib/modules/Local.pmod:67:    add_path("/opt/pike_modules");    add_path("/opt/share/pike_modules");    add_path("/usr/local/share/pike_modules");       if( (tmp=getenv("HOME")) || (tmp=getenv("USERPROFILE")) ) {    tmp = (tmp[-1]=='/'?tmp:tmp+"/")+"pike_modules/";    add_path(tmp);    }       if(tmp = getenv("PIKE_LOCAL_PATH") ) { -  array to_add=tmp/":"; +  array to_add=reverse(tmp/":"); // preserve order    add_path( to_add[*] );    }   }      //! This function prepends @[path] to the @[Local] module   //! searchpath.   //!   //! @param path   //! The path to the directory to be added.   //!