mirror of
https://github.com/MightyPirates/OpenComputers.git
synced 2025-09-18 11:48:02 -04:00
make man also look for files ending with .man
This commit is contained in:
parent
65a1c58bcf
commit
e1c80cbdc8
@ -10,7 +10,7 @@ end
|
|||||||
|
|
||||||
local topic = args[1]
|
local topic = args[1]
|
||||||
for path in string.gmatch(os.getenv("MANPATH"), "[^:]+") do
|
for path in string.gmatch(os.getenv("MANPATH"), "[^:]+") do
|
||||||
path = fs.concat(path, topic)
|
path = shell.resolve(fs.concat(path, topic), "man")
|
||||||
if fs.exists(path) and not fs.isDirectory(path) then
|
if fs.exists(path) and not fs.isDirectory(path) then
|
||||||
os.execute("more " .. path)
|
os.execute("more " .. path)
|
||||||
os.exit()
|
os.exit()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user