allow ./setup.sh to fail gracefully (#425)

pull/475/head
Peng Gu 2023-04-05 19:04:44 -07:00 committed by GitHub
parent 09c014936b
commit aa10590e85
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 0 deletions

View File

@ -1,4 +1,19 @@
#!/bin/bash #!/bin/bash
function command_exists() {
command -v "$1" &> /dev/null
}
if ! command_exists wget; then
echo "wget is not installed. Please install wget to use this script."
exit 1
fi
if ! command_exists unzip; then
echo "unzip is not installed. Please install unzip to use this script."
exit 1
fi
wget https://cursor.so/resources.zip wget https://cursor.so/resources.zip
wget https://cursor.so/lsp.zip wget https://cursor.so/lsp.zip