Opened 8 years ago

Closed 8 years ago

#742 closed bug (fixed)

hard-coded path for /bin/rm

Reported by: florent.becker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-2
Keywords: Cc:


/bin/rm is hardcoded in several places in singular's code and build system. On some systems (for instance, in my case, NixOS), rm is not found there, but elsewhere in $PATH. By using rm instead of /bin/rm, nothing would be lost, but the installation of singular would be simpler on these systems.

Change History (3)

comment:1 Changed 8 years ago by hannes

The main idea of using /bin/rm is the fact that on most systems rm is not /bin/rm but an alias like "alias rm='rm -i'" or a "mv ....."

comment:2 Changed 8 years ago by hannes

florent.becker@…: Then you should use "command rm" instead of "/bin/rm"

comment:3 Changed 8 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.