Skip to content

Instantly share code, notes, and snippets.

@AryanNanda17
Created February 18, 2024 05:54
Show Gist options
  • Save AryanNanda17/66fc9e1830b7fd0d9de45a51d41bf6bf to your computer and use it in GitHub Desktop.
Save AryanNanda17/66fc9e1830b7fd0d9de45a51d41bf6bf to your computer and use it in GitHub Desktop.
#!/usr/bin/env bash
echo "Installations Started"
# Clone Pixels_Seminar Repository
if [ ! -d "$HOME/Pixels_Seminar" ]; then
cd "$HOME" || (echo "Error: Could not navigate to Home" && exit 1)
echo "Cloning Pixels_Seminar"
git clone https://github.com/SRA-VJTI/Pixels_Seminar.git || (echo "Error: Could not clone repository" && exit 1)
else
echo "You have already Cloned Pixels_Seminar!"
fi
# Navigate to the directory
cd "$HOME/Pixels_Seminar" || (echo "Error: Could not navigate to Pixels_Seminar directory" && exit 1)
# Run make install command
echo "Running make install command"
make install || (echo "Error: Could not run make install" && exit 1)
echo "Installations completed successfully"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment