From b39e3382e8a22d1a5eee855ef240cceb63510315 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 4 Apr 2026 12:42:28 +0200
Subject: [PATCH] Playground: add input redirection example

---
 content/playground.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/content/playground.md b/content/playground.md
index f391e26a2..71c657c71 100644
--- a/content/playground.md
+++ b/content/playground.md
@@ -56,6 +56,7 @@ Click an example to run it in the terminal:
   <button class="playground-example">printf '🐑\n🐑\n🐑\n🐑\n🐑\n' | nl</button>
   <button class="playground-example">echo '🍎,🍌,🍒,🥝' | cut -d🍌 -f2</button>
   <button class="playground-example">printf '🍒 cherry\n🍎 apple\n🍌 banana\n' | sort -k2</button>
+  <button class="playground-example">sort -n < numbers.txt | head -3</button>
   <button class="playground-example">date</button>
   <button class="playground-example">uname -a</button>
 </div>