mamuz

rsync -aWHvz --delete -e "ssh -i /home/user/.ssh/mykey" /path/to/source /path/to/destination

mamuz

<?php

class ConvertError2Exception
{
    /**
     * Error string.
     * Is null if there was no error
     *
     * @var string
     */

mamuz

#!/bin/bash

# configs
SSH_USR='myuser'
DIR_SRC='/update/directory'

# destinations
SERVER1[0]='custom-app1'
SERVER1[1]='custom-app2'
SERVER1[2]='custom-app3'

mamuz

# Remove row duplicates
SELECT DISTINCTROW * INTO doublettesTable FROM uniqueTable;
 
# Count column duplicates
SELECT col, count(*) AS cnt 
FROM table 
GROUP BY col 
HAVING cnt > 1;
 
# Count duplicates with two cols

mamuz

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