Opened 8 years ago
Closed 8 years ago
#742 closed bug (fixed)
hard-coded path for /bin/rm
| Reported by: | Owned by: | somebody | |
|---|---|---|---|
| Priority: | minor | Milestone: | 4-1-0 and higher |
| Component: | dontKnow | Version: | 4-0-2 |
| Keywords: | Cc: |
Description
/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
comment:2 Changed 8 years ago by
florent.becker@…: Then you should use "command rm" instead of "/bin/rm"
comment:3 Changed 8 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
fixed with ce12a04ead28eb36427eb3357becb6924b69afdf
Note: See
TracTickets for help on using
tickets.
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 ....."