From abb8763b529ae9223c660f55769eb538f19f2d3a Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Mon, 12 Aug 2024 04:32:15 +0900
Subject: [PATCH] Simplify script in DEVELOPMENT.md

---
 DEVELOPMENT.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/DEVELOPMENT.md b/DEVELOPMENT.md
index d0bc301d..2c85c27b 100644
--- a/DEVELOPMENT.md
+++ b/DEVELOPMENT.md
@@ -17,8 +17,8 @@ See JSON files in `tools/codegen/base` directory for examples of the manifest.
 > If you're having problem with github api rate limit, you can use your GITHUB_TOKEN to increase the rate limit.
 > If you have `Github CLI` installed (the command `gh`), you can:
 >
-> ```shell
-> GITHUB_TOKEN=$(gh auth status --show-token 2>&1 | sed -n 's/^.*Token: \(.*\)$/\1/p') ./tools/manifest.sh <tool>
+> ```sh
+> GITHUB_TOKEN=$(gh auth status --show-token 2>&1 | sed -n 's/^.*Token: //p') ./tools/manifest.sh <tool>
 > ```
 
 ## Refresh TOOLS.md