Skip to content

prun: Add ptype and pman #19

Merged
merged 1 commit into from
Feb 14, 2018
Merged

prun: Add ptype and pman #19

merged 1 commit into from
Feb 14, 2018

Conversation

donald
Copy link
Collaborator

@donald donald commented Feb 14, 2018

These two tools (author: thomas) are currently installed in
/usr/local/package/bin. Import them into this repository and install
into /usr/bin/ in analogy to prun.

The copies in /usr/local/package/bin can then be replaced
by symbolic links to the /usr/bin/ variants.

These two tools (author: thomas) are currently installed in
/usr/local/package/bin. Import them into this repository and install
into /usr/bin/ in analogy to prun.

The copies in /usr/local/package/bin can then be replaced
by symbolic links to the /usr/bin/ variants.
@pmenzel pmenzel merged commit f5513d4 into master Feb 14, 2018
@donald donald deleted the add-pman-and-ptype branch March 14, 2018 09:36
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants