stuart11n

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

evanscottgray

docker ps | awk {' print $1 '} | tail -n+2 > tmp.txt; for line in $(cat tmp.txt); do docker kill $line; done; rm tmp.txt

rxaviers

People

:bowtie:	😄 :smile:	😆 :laughing:
😊 :blush:	😃 :smiley:	☺️ :relaxed:
😏 :smirk:	😍 :heart_eyes:	😘 :kissing_heart:
😚 :kissing_closed_eyes:	😳 :flushed:	😌 :relieved:
😆 :satisfied:	😁 :grin:	😉 :wink:
😜 :stuck_out_tongue_winking_eye:	😝 :stuck_out_tongue_closed_eyes:	😀 :grinning:
😗 :kissing:	😙 :kissing_smiling_eyes:	😛 :stuck_out_tongue:

Neolot

<!-- contactform.php -->

<div class="cf" id="cf">
    <form action="javascript:void(0);">
        <div><input type="text" name="name" placeholder="Name"/><span class="error"></span></div>
        <div><input type="text" name="email" placeholder="Email"/><span class="error"></span></div>
        <div><textarea name="message" placeholder="Message"></textarea><span class="error"></span></div>
        <div><button type="submit">Submit</button> <span class="loader"></span></div>
    </form>
</div>

kingkool68

<?php
function rh_get_widget_data_for_all_sidebars() {
	global $wp_registered_sidebars;

	$output = array();
	foreach ( $wp_registered_sidebars as $sidebar ) {
		if ( empty( $sidebar['name'] ) ) {
			continue;
		}
		$sidebar_name = $sidebar['name'];