sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminator
Terminator should be setup as default now. Restart your terminal (shortcut: "Ctrl+Alt+T").
<?php | |
/** | |
* BBcode helper class | |
* | |
* @package BBcode | |
* @category Helper | |
* @author Chema <chema@garridodiaz.com> | |
* @copyright (c) 2012 | |
* @license GPL v3 | |
*/ |
<?php | |
function number_unformat($number, $force_number = true, $dec_point = '.', $thousands_sep = ',') { | |
if ($force_number) { | |
$number = preg_replace('/^[^\d]+/', '', $number); | |
} else if (preg_match('/^[^\d]+/', $number)) { | |
return false; | |
} | |
$type = (strpos($number, $dec_point) === false) ? 'int' : 'float'; | |
$number = str_replace(array($dec_point, $thousands_sep), array('.', ''), $number); | |
settype($number, $type); |
Here are the simple steps needed to create a deployment from your lokal GIT repository to a server based on this in-depth tutorial.
You are developing in a working-copy on your local machine, lets say on the master branch. Most of the time, people would push code to a remote server like github.com or gitlab.com and pull or export it to a production server. Or you use a service like my Deepl.io to act upon a Web-Hook that's triggered that service.