From a1a699b971b785d2b1d856f09cbe41f6b2ab1ffe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tesla=20Zhang=E2=80=AE?= Date: Mon, 4 Sep 2023 19:38:42 -0400 Subject: [PATCH] docs: thank you /cc https://t.me/c/1264662201/436260 --- src/guide/install.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/guide/install.md b/src/guide/install.md index 42c797c..67e96ee 100644 --- a/src/guide/install.md +++ b/src/guide/install.md @@ -37,14 +37,14 @@ Aya is available for Windows, Linux, and macOS, as listed below. [macos-zip-aarch64]: https://github.com/aya-prover/aya-dev/releases/download/nightly-build/aya-prover_jlink_macos-aarch64.zip Here's a hands-on script I wrote to (re)install Aya to `$AYA_PREFIX` -(replace with your preferred prefix, e.g. `/opt/aya`) on Linux x64: +(define the variable somewhere or replace with your preferred prefix, e.g. `/opt/aya`) on Linux x64: ```bash #!/bin/bash -sudo mkdir -p $AYA_PREFIX -sudo chown $USER $AYA_PREFIX -rm -rf $AYA_PREFIX/* -cd $AYA_PREFIX +sudo mkdir -p ${AYA_PREFIX:-/tmp} +sudo chown $USER ${AYA_PREFIX:-/tmp} +rm -rf ${AYA_PREFIX:-/tmp}/* +cd ${AYA_PREFIX:-/tmp} wget https://github.com/aya-prover/aya-dev/releases/download/nightly-build/aya-prover_jlink_linux-x64.zip unzip aya-prover_jlink_linux-x64.zip rm aya-prover_jlink_linux-x64.zip