$ grep -r "#programming" ./posts
Tag

#programming

// 17 matches

NetBeans 7.3: Cannot execute Google Chrome

I have got today an error in NetBeans 7.3 while starting a HTML5 application in Google Chrome: Cannot execute /opt/google/chrome/chrome. Check external browser configuration. The solution was simple:...

Date format validation in PHP

In case of date format checking in PHP just use this function: function checkDateFormat($date) { //match the format of the date if (preg_match ("/^([0-9]{4})-([0-9]{2})-([0-9]{2})$/", $date, $parts))...

GIT: How to use stash

Git features The Stash, which is as much as a good place to store uncommitted changes. When you stash you changes, the will be stored, and your working copy will be reverted to HEAD (the last commit...

Git Cheat Sheet

Configuration identify yourself to git: email and your name git config --global user.name "John Smith" git config --global user.email "abc@mail.com" To view all options: git config --list OR cat...

How to copy / paste text in gitk

Problem: How to copy / paste text from git? Text select and Ctrl-C + Ctrl-V does not paste the copied text. And there is no Edit / Copy / Paste menu item. Solution: gitk supports the normal X...

Center Multiple DIVs with CSS

At some point, you may have a situation where you want to center multiple elements (maybe <div> elements, or other block elements) on a single line in a fixed-width area. Centering a single element...

Git: Push and Delete Remote Branches

You can push the branch up to a remote very simply: git push origin newfeature Where origin is your remote name and newfeature is the name of the branch you want to push up. Deleting is also a pretty...

IT-Digest AI Assistant