New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

tools/create-openbsd-vmm-worker.sh: shut off pagination in ddb #849

Merged

dvyukov merged 1 commit into google:master from blackgnezdo:max_line

Dec 4, 2018

Collaborator

blackgnezdo commented Dec 3, 2018

@mptre - this theoretically obviates set $lines, but I know that not everybody uses my script :)


          tools/create-openbsd-vmm-worker.sh: shut off pagination in ddb

087a7ce

Collaborator

mptre commented Dec 3, 2018 via email

@mptre - this theoretically obviates set $lines, but I know that not everybody uses my script :)

Makes sense.

dvyukov merged commit 49e1764 into google:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment