I hereby claim:
- I am j3lte on github.
- I am j3lte (https://keybase.io/j3lte) on keybase.
- I have a public key whose fingerprint is 4C4F C100 D442 BBC7 DA9F 78BE 8040 EB69 77A7 270C
To claim this, I am signing this object:
#!/bin/bash | |
# Check if force mode is enabled | |
force_mode=false | |
if [ "$1" == "--force" ]; then | |
force_mode=true | |
fi | |
# Fetch latest updates from the remote and prune deleted branches | |
git fetch --prune |
I hereby claim:
To claim this, I am signing this object:
#!/bin/bash | |
URL='https://nordvpn.com/wp-admin/admin-ajax.php?action=get_user_info_data' | |
JSON=$(curl -s $URL) | |
printf "\n" | |
#echo $JSON | python -m json.tool | |
echo $JSON | python -c 'import sys, json; data = json.load(sys.stdin); print "IP: %s (%s)\nStatus: %s" % (data["ip"], data["isp"], "\033[32mProtected" if data["status"] is True else "\033[31mUnprotected");' | |
printf "\n" |
-- show running queries (pre 9.2) | |
SELECT procpid, age(clock_timestamp(), query_start), usename, current_query | |
FROM pg_stat_activity | |
WHERE current_query != '<IDLE>' AND current_query NOT ILIKE '%pg_stat_activity%' | |
ORDER BY query_start desc; | |
-- show running queries (9.2) | |
SELECT pid, age(clock_timestamp(), query_start), usename, query | |
FROM pg_stat_activity | |
WHERE query != '<IDLE>' AND query NOT ILIKE '%pg_stat_activity%' |
{ | |
"MX Widget Property: attribute": { | |
"prefix": "propAttr", | |
"body": [ | |
"<property key=\"$1\" type=\"attribute\" dataSource=\"$2\" required=\"${3|true,false|}\" onChange=\"$4\">", | |
" <caption>$5</caption>", | |
" <description>$6</description>", | |
" <attributeTypes>", | |
" <attributeType name=\"${7|AutoNumber,Binary,Boolean,DateTime,Decimal,Enum,HashString,Integer,Long,String|}\" />", | |
" </attributeTypes>", |
#!/bin/bash | |
# Sometimes you need to move your existing git repository | |
# to a new remote repository (/new remote origin). | |
# Here are a simple and quick steps that does exactly this. | |
# | |
# Let's assume we call "old repo" the repository you wish | |
# to move, and "new repo" the one you wish to move to. | |
# | |
### Step 1. Make sure you have a local copy of all "old repo" | |
### branches and tags. |
#!/bin/bash | |
LOADING=false | |
DEBUG=/dev/null | |
usage() | |
{ | |
cat << EOF | |
usage: $0 [options] <DBNAME> | |
git branch -m old_branch new_branch # Rename branch locally | |
git push origin :old_branch # Delete the old branch | |
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote |
var performTests = function (callback) { | |
chrome.tabs.query({active: true, currentWindow: true}, function(tabs) { | |
var thisTab = tabs[0]; | |
chrome.tabs.executeScript(thisTab.id, {file: 'scripts/variable-checker.js'}, function(data) { | |
var response = data[0].response; | |
callback(response); | |
}); | |
}); | |
}; |
// Include gulp | |
var gulp = require('gulp'), | |
gutil = require('gulp-util'), | |
sass = require('gulp-sass'), | |
prefix = require('gulp-autoprefixer'), | |
coffee = require('gulp-coffee'), | |
coffeelint = require('gulp-coffeelint'), | |
concat = require('gulp-concat'), | |
plumber = require('gulp-plumber'), | |
changed = require('gulp-changed'), |