##// END OF EJS Templates
Fix for 'man' formatting (mostly on OSX, but the fix is OK on linux)
Fernando Perez -
Show More
@@ -530,7 +530,8 b' class ZMQInteractiveShell(InteractiveShell):'
530 if os.name == 'posix':
530 if os.name == 'posix':
531 def magic_man(self, arg_s):
531 def magic_man(self, arg_s):
532 """Find the man page for the given command and display in pager."""
532 """Find the man page for the given command and display in pager."""
533 page.page(self.shell.getoutput('man %s' % arg_s, split=False))
533 page.page(self.shell.getoutput('man %s | col -b' % arg_s,
534 split=False))
534
535
535 # FIXME: this is specific to the GUI, so we should let the gui app load
536 # FIXME: this is specific to the GUI, so we should let the gui app load
536 # magics at startup that are only for the gui. Once the gui app has proper
537 # magics at startup that are only for the gui. Once the gui app has proper
General Comments 0
You need to be logged in to leave comments. Login now