From b72d3f70c36830d432219c5f69c0920537d83953 Mon Sep 17 00:00:00 2001 From: pvincent Date: Mon, 10 Aug 2026 21:08:32 +0400 Subject: [PATCH] no more dev docs --- doc/development.md | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 doc/development.md diff --git a/doc/development.md b/doc/development.md deleted file mode 100644 index 576c6f9..0000000 --- a/doc/development.md +++ /dev/null @@ -1,8 +0,0 @@ -# development mode (credentials required) - -* REAL_DIR=/opt/miaou-bash -* sudo mkdir -m 755 $REAL_DIR && sudo chown $(id -un) $REAL_DIR -* git clone :miaou/miaou-bash.git $REAL_DIR -* DEV_DIR=$HOME/DEV/BASH/miaou-bash # change DEST according to your needs! -* ln -s $REAL_DIR $DEV_DIR -* cd $REAL_DIR && sudo ./install.sh