Skip to main content

is_file_read_command

Function is_file_read_command 

Source
pub fn is_file_read_command(cmd: &str) -> bool
Expand description

Check if a command is a file-read alternative (cat/head/tail) that should be rewritten to lean-ctx read rather than lean-ctx -c.