| git rm -r --cached one-of-the-directories | |
| git commit -m "Remove duplicated directory" | |
| git push origin master |
| /bin/dd if=/dev/zero of=/var/swap.1 bs=1M count=1024 | |
| /sbin/mkswap /var/swap.1 | |
| /sbin/swapon /var/swap.1 |
| <?php | |
| /** | |
| * Catch php output buffering data over jQuery AJAX | |
| * | |
| * @author: Sohel Rana ([email protected]) | |
| * @author url: https://blog.sohelrana.me | |
| * @link: https://blog.sohelrana.me/catch-php-output-buffering-data-jquery-ajax/ | |
| * @licence MIT | |
| */ |
Once in a while, you may need to cleanup resources (containers, volumes, images, networks) ...
// see: https://github.com/chadoe/docker-cleanup-volumes
$ docker volume rm $(docker volume ls -qf dangling=true)
$ docker volume ls -qf dangling=true | xargs -r docker volume rm
| # open terminal | |
| cmd - return : open -n -a "Terminal" | |
| # open chrome | |
| cmd + shift - return : open -n -a "Google Chrome" | |
| # moves focus between windows in the current focused display | |
| alt - h : yabai -m window --focus west | |
| alt - j : yabai -m window --focus south | |
| alt - k : yabai -m window --focus north |
