io - Is it possible to know if a text input is from a pipe only - Stack Overflow

admin管理员组

文章数量:1319475

I want to make a program that prompts the user to enter something with an introduction text. Something like "Please write something". But if there is a text from a pipe, the result is displayed directly without any introduction test.

I started a program that read input and answer to the user in Ocaml. But how to make it detecting the absence of pipe ?

If something is piped to that program the introduction text doesn't make sense.

open In_channel

let answer inp =
    match inp with
    None -> "this is None" |
    Some "" -> "this is empty" |
    Some x -> "you wrote " ^ x

let () =
  print_endline "Please write something" ; 
  print_endline (answer (input_line stdin) ^ "\nend")

It's not a big deal if the solution is Unix only. Thank you in advance.

I want to make a program that prompts the user to enter something with an introduction text. Something like "Please write something". But if there is a text from a pipe, the result is displayed directly without any introduction test.

I started a program that read input and answer to the user in Ocaml. But how to make it detecting the absence of pipe ?

If something is piped to that program the introduction text doesn't make sense.

open In_channel

let answer inp =
    match inp with
    None -> "this is None" |
    Some "" -> "this is empty" |
    Some x -> "you wrote " ^ x

let () =
  print_endline "Please write something" ; 
  print_endline (answer (input_line stdin) ^ "\nend")

It's not a big deal if the solution is Unix only. Thank you in advance.

• io
• ocaml

Share Improve this question Follow edited Jan 19 at 21:47 Chris 36.7k55 gold badges3232 silver badges5454 bronze badges asked Jan 19 at 20:28 PloumploumPloumploum 33311 silver badge1010 bronze badges 1

• 2 Use isatty stdin. – Naïm Favier Commented Jan 19 at 20:43

Add a comment  | 

1 Answer 1

Sorted by: Reset to default 2

A very straightforward modification to your code based on using Unix.isatty to determine whether or not to print the prompt.

open In_channel

let answer = function
    None -> "this is None" 
  | Some "" -> "this is empty" 
  | Some x -> "you wrote " ^ x

let () =
  if Unix.isatty stdin then
    print_endline "Please write something"; 
  print_endline (answer (input_line stdin));
  print_endline "end"

As of OCaml 5.1 (released Sept 2023) In_channel.isatty exists, and you've already opened In_channel, so you could reduce the above to:

open In_channel

let answer = function
    None -> "this is None" 
  | Some "" -> "this is empty" 
  | Some x -> "you wrote " ^ x

let () =
  if isatty stdin then
    print_endline "Please write something"; 
  print_endline (answer (input_line stdin));
  print_endline "end"

本文标签： ioIs it possible to know if a text input is from a pipe onlyStack Overflow