[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 Tim Landscheidt changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED Resolution|---

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 --- Comment #6 from Gerrit Notification Bot --- Change 115612 abandoned by Tim Landscheidt: Tools: Restore local symlinks for jobutils https://gerrit.wikimedia.org/r/115612 -- You are receiving this mail because: You are on the CC list for t

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 Gerrit Notification Bot changed: What|Removed |Added Status|REOPENED|PATCH_TO_REVIEW -- You are

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 --- Comment #5 from Gerrit Notification Bot --- Change 115612 had a related patch set uploaded by Tim Landscheidt: Tools: Restore local symlinks for jobutils https://gerrit.wikimedia.org/r/115612 -- You are receiving this mail because: You a

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 Tim Landscheidt changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 --- Comment #3 from Gerrit Notification Bot --- Change 77234 merged by coren: Tools: Manage obsolete files in /usr/local/bin https://gerrit.wikimedia.org/r/77234 -- You are receiving this mail because: You are on the CC list for the bug. ___

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 Marc A. Pelletier changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED Resolution|---

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 --- Comment #2 from Gerrit Notification Bot --- Change 77234 had a related patch set uploaded by Tim Landscheidt: Tools: Manage obsolete files in /usr/local/bin https://gerrit.wikimedia.org/r/77234 -- You are receiving this mail because: You

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 Gerrit Notification Bot changed: What|Removed |Added Status|NEW |PATCH_TO_REVIEW -- You are

[Bug 52258] Obsolete scripts in /usr/local/bin need to be "managed"

https://bugzilla.wikimedia.org/show_bug.cgi?id=52258 --- Comment #1 from Tim Landscheidt --- Second thought regarding wrappers: /usr/local/bin has priority in many PATHs, so if we put a wrapper in there, it may be preferred over the "original" in /usr/bin, so the wrapper would have to do a lot of