orlovmax

To delete remote tags (before deleting local tags) simply do:

git tag -l | xargs -n 1 git push --delete origin

and then delete the local copies:

git tag | xargs git tag -d

orlovmax

#!/bin/bash

# Options
title="Please specify type of gallery page"
prompt="Enter option number"
options=("Albums" "Images" "Quit")

# Show select menu
printf "$title \n"
PS3="$prompt: "