git clone [email protected]:YOUR-USERNAME/YOUR-FORKED-REPO.git
cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream
(while sleep 3; do echo "y"; done) | execute app | |
example: | |
(while sleep 3; do echo "y"; done) | $ANDROID_HOME/tools/android update sdk -u |
$ANDROID_HOME/tools/bin/sdkmanager --licenses |
#on ubuntu, in /usr/share/jenkins: | |
sudo service jenkins stop | |
sudo mv jenkins.war jenkins.war.old | |
sudo wget https://updates.jenkins-ci.org/latest/jenkins.war | |
sudo service jenkins start |
<?php | |
$url = 'https://wordpress.org/latest.zip' ; //url file | |
$parse_url = parse_url($url) ; | |
$path_info = pathinfo($parse_url['path']) ; | |
$file_extension = $path_info['extension'] ; | |
$save_path = 'files/' ; //destination /name/folder/here | |
$file_name = 'name' . "." . $file_extension ; | |
file_put_contents($save_path . $file_name , fopen($url, 'r')); | |
# Create folder files | |
# set permission to 777 |
git clone [email protected]:YOUR-USERNAME/YOUR-FORKED-REPO.git
cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream
function get_date_range($first, $last,$output_format = 'Y-m-d') { | |
$days = 86400; | |
$blok_startDate = array(); | |
$current = strtotime($first); | |
$last = strtotime($last); | |
$numday = round(($last - $current) / $days) +1; | |
for( $d=0; $d < $numday; $d++) { | |
$blok_startDate[]= '"' . date($output_format, ($current + ($d * $day))) . '"'; | |
} |
function loadjscssfile(filename, filetype){ | |
if (filetype=="js") { //if filename is a external JavaScript file | |
var fileref=document.createElement('script'); | |
fileref.setAttribute("type","text/javascript"); | |
fileref.setAttribute("src", filename); | |
} | |
else if (filetype=="css") { //if filename is an external CSS file | |
var fileref=document.createElement("link"); | |
fileref.setAttribute("rel", "stylesheet"); |
<?php | |
if(isset($_GET['sort'])) { | |
$query = $_GET; | |
if($_GET['sort']=='ASC') { | |
$query['sort'] = 'DESC'; | |
} else { | |
$query['sort'] = 'ASC'; | |
} | |
$query_result = http_build_query($query); |
<?php | |
// can remove variables from: full url, from urls related to site root, form just a query string like "a=1&b=2" | |
if(!function_exists("remove_var_from_url")){ | |
function remove_var_from_url($variable_name, $url_string){ | |
// this is anything before the "?" sign | |
$base_url = ''; | |
// the variable separator, can be "?" if is a full URL or can be empty, if we just have "&sort=sales&oprder=asc" | |
$separator = ""; | |
$start_pos = 0; |
<?php | |
if(!function_exists("add_var_to_url")){ | |
function add_var_to_url($variable_name,$variable_value,$url_string){ | |
// first we will remove the var (if it exists) | |
// test if url has variables (contains "?") | |
if(strpos($url_string,"?")!==false){ | |
$start_pos = strpos($url_string,"?"); | |
$url_vars_strings = substr($url_string,$start_pos+1); | |
$names_and_values = explode("&",$url_vars_strings); | |
$url_string = substr($url_string,0,$start_pos); |