Changeset 3fb0d8 in git

Timestamp:

Dec 9, 2010, 3:34:09 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

e8dc78ffa753e2f367da43a0c272e88775f37a3a

Parents:

eab7503edc1c1a557464d1ea585d007148087e72

Message:

which removed (tr. 281)

git-svn-id: file:///usr/local/Singular/svn/trunk@13747 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/general.lib (modified) (2 diffs)

Singular/LIB/general.lib

@@ -22 +22 @@
  sum(vector/id/..[,v]); add components of vector/ideal/...[with indices v]
  watchdog(i,cmd);       only wait for result of command cmd for i seconds
- which(command);        search for command and return absolute path, if found
  primecoeffs(J[,q]);    primefactors <= min(p,32003) of coeffs of J
  timeStd(i,d)           std(i) if the standard basis computation finished
@@ -925 +924 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-proc which (command)
-"USAGE:    which(command); command = string expression
-RETURN:   Absolute pathname of command, if found in search path.
-          Empty string, otherwise.
-NOTE:     Based on the Unix command 'which'.
-EXAMPLE:  example which; shows an example
-"
-{
-   int rs;
-   int i;
-   string fn = "which_" + string(system("pid"));
-   string pn;
-   string cmd;
-   if( typeof(command) != "string")
-   {
-     return (pn);
-   }
-   if (system("uname") != "ix86-Win")
-   {
-     cmd = "which ";
-   }
-   else
-   {
-     // unfortunately, it does not take -path
-     cmd = "type ";
-   }
-   i = system("sh", cmd + command + " > " + fn);
-   pn = read(fn);
-   if (system("uname") != "ix86-Win")
-   {
-     // TBC: Hmm... should parse output to get rid of 'command is '
-     pn[size(pn)] = "";
-     i = 1;
-     while ((pn[i] != " ") and (pn[i] != ""))
-     {
-       i = i+1;
-     }
-     if (pn[i] == " ") {pn[i] = "";}
-     rs = system("sh", "ls " + pn + " > " + fn + " 2>&1 ");
-   }
-   else
-   {
-     rs = 0;
-   }
-   i = system("sh", "rm " + fn);
-   if (rs == 0) {return (pn);}
-   else
-   {
-     print (command + " not found ");
-     return ("");
-   }
-}
-example
-{  "EXAMPLE:"; echo = 2;
-    which("sh");
-}
-///////////////////////////////////////////////////////////////////////////////
-
 proc watchdog(int i, string cmd)
 "USAGE:   watchdog(i,cmd); i integer, cmd string