Skip to content

use scrolling mode when used non-interactively #59

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

Closed
wants to merge 3 commits into from
Closed

use scrolling mode when used non-interactively #59

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
1717f9d
use scrolling mode when used non-interactively
digama0 Feb 8, 2022
2474919
fix for windows
digama0 Feb 9, 2022
08cb0f0
force to bool
digama0 Feb 9, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion src/metamath.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -717,6 +717,14 @@
#include "mmword.h"
#include "mmwtex.h"

// Windows doesn't have the <unistd> header, but it has an isatty equivalent
#ifdef _WIN32
#include <io.h>
#define _isatty isatty
#else
#include <unistd.h>
#endif

void command(int argc, char *argv[]);

int main(int argc, char *argv[]) {
Expand Down Expand Up @@ -914,7 +922,8 @@ void command(int argc, char *argv[]) {
double timeIncr = 0;
flag printTime; /* Set by "/ TIME" in SAVE PROOF and others */

flag defaultScrollMode = 1; /* Default to prompted mode */
/* Default to prompted mode if run interactively, else continuous mode */
flag defaultScrollMode = isatty(STDIN_FILENO) != 0;

/* Initialization to avoid compiler warning (should not be theoretically
necessary) */
Expand Down