OCaml: un'eccezione imprevista con Unix.getlogin quando stdin rediretto

Question

ho scoperto il prossimo numero in questo semplice codice:

let() = 
    print_endline "Hello"; 
    print_endline (Unix.getlogin()) 

esecuzione nel caso normale, con ./a.out dà:

Hello 
ricardo 

Ma correndo come ./a.out </dev/null rende Unix.getlogin venga meno

Hello 
Fatal error: exception Unix.Unix_error(20, "getlogin", "") 

Qualsiasi id E perché questo succede?

Answer 1

Il reindirizzamento dell'input di un programma ha la precedenza sul suo terminale di controllo. Senza un terminale di controllo, non v'è alcun accesso da trovare:

$ tty 
/dev/pts/2 
$ tty < /dev/null 
not a tty 

È possibile, tuttavia, ancora trovare il nome di un utente (forse) ottenendo id dell'utente (getuid) e alzando il suo passwd entry (related docs) (getpwuid), poi trovando il suo nome utente in esso.

Answer 2

A seconda dell'applicazione:

• se non vi interessa veramente il valore restituito da "getlogin", si può fare qualcosa di simile:

  try 
      Unix.getlogin() 
  with _ -> Sys.getenv "USER" 
  

  si avrà probabilmente ottenere qualcosa meglio di getuid, dato che funzionerà anche con programmi con flag Set-User-ID (sudo/su).

• se ti interessa veramente il valore restituito da "getlogin", cioè vuoi davvero sapere chi è loggato, dovresti semplicemente fallire quando getlogin fallisce. Qualsiasi altra soluzione fornirà solo un'approssimazione del risultato corretto.