From 89d28751d2bb36413d4c6d804c300ee634d7d771 Mon Sep 17 00:00:00 2001 From: Paolo Lazzari Date: Wed, 11 Oct 2023 17:54:58 +0200 Subject: [PATCH] Update README.md --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index d7d3c17..14fd06b 100644 --- a/README.md +++ b/README.md @@ -32,6 +32,14 @@ $ go build -o /usr/local/bin/ N.B. The program must be installed on your machine. +The input is evaluated immediately as you type without any validation. +If you want to use `play` in read-only mode, thus avoding any file changes (such as those that would result if, for instance, `sed -i` was used), then you can use a docker container: + +```bash +$ docker run --rm -it -v "$(pwd)":/play:ro plazzari/play:latest grep +``` + + ## Key bindings | Component | Key | Description |