A workaround might be available: depending on your OS and use case, you could do
(setq *standard-input* (open "/dev/stdin")) But note that the semantics of "/dev/stdin" differ in ways that could conceivably matter between Linux and other Unices, so this is just a suggestion. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2129811 Title: Performance issues with reading lines from *standard-input* To manage notifications about this bug go to: https://bugs.launchpad.net/sbcl/+bug/2129811/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
