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
#!/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: " |
RewriteEngine on | |
RewriteCond %{REQUEST_URI} !^/$ | |
RewriteRule .* / [L,R=302] |
//LIVE EXAMPLE: http://codepen.io/orlovmax/pen/PZRXaN?editors=1000 | |
// Define navigation mixin | |
mixin nav(args) | |
- items = args.items || {} | |
- active = args.active || {} | |
- nav = args.nav || {} | |
- list = args.list || {} | |
- item = args.item || {} | |
- item_active = args.item_active || {} |
// Блок | |
.block | |
// ... | |
// Начинаются штучки, касающиеся блока: медиа, миксины, псевдоклассы, псевдоэлементы | |
// @media-примеси блока и другие миксины | |
+below(640px) | |
// ... | |
// Псевдоэлементы блока |
function jpost { | |
cp -a _dev/templates/pages/_drafts/_draft.md _dev/templates/pages/_posts/[email protected]; | |
explorer "$(pwd -W | sed 's/\//\\/g')\_dev\templates\pages\_posts\\[email protected]"; | |
mkdir _dev/img/post/$@; | |
explorer "$(pwd -W | sed 's/\//\\/g')\_dev\img\post\\$@"; | |
} |
icons = next '\e804', prev '\e805', twi '\e806', loc '\e807', fb '\e808', pin '\e809', gplus '\e80a' | |
for icon in icons | |
&_{icon[0]} | |
&:before | |
content: icon[1] |
git tag -a v1.3 cf50010 -m "v1.3" | |
or simplest way | |
git tag "v1.3" cf50010 | |
git push --tags origin master |
@function unicode($str) | |
@return unquote("\"")+unquote(str-insert($str, "\\", 1))+unquote("\"") | |
$icons: (next: 'e804', prev: 'e805', twi: 'e806', loc: 'e807', fb: 'e808', pin: 'e809', gplus: 'e80a') | |
@each $icon in $icons | |
&_#{nth($icon, 1)} | |
&:before | |
content: unicode(nth($icon, 2)) |