Best domains suggestion tool

I've been searching lately for some free domain names and I've tried several tools. leandomainsearch.com has been the most helpful for common extensions such as .com/.net For the new extensions and exotic extensions domainsbot.com is ok.

unique and common names combos

Checking again common first names on my surname: Aman and first name Ana, and found at least 17 people named Ana Aman. Amazing!

unzip skipping: file.txt `PPMd' method not supported

It seems like unzip does not support 7z, so to decompress such file I had to install p7zip:

$ apt-get install p7zip-full
then
$ 7z x file.zip

quickly replace spaces with underscore in bash

find -name "* *" -type f | rename 's/ /_/g'

transfer/copy database with SSH with only one command line

You can migrate a database using a single command line:

mysqldump –add-drop-table –extended-insert –force –log-error=error.log -uUSER -pPASS OLD_DB_NAME | ssh -C user@newhost "mysql -uUSER -pPASS NEW_DB_NAME"

man: can't set the locale; make sure $LC_* and $LANG are correct

I keep getting this error:
man: can't set the locale; make sure $LC_* and $LANG are correct

I tried locale-gen and many other things, without success.
The only thing that fixed it is: export LC_ALL=en_US.UTF-8 (which of course can be added in .profile to be permanent)

Search engine for html source code search

I needed to search for a little code which is available only in HTML source, not in the rendered page. So a simple search would show nothing. After reading on Quora and Stackoverflow, I've found some recommendations: MeanPath, Blekko, Datanyze, Nerdydata. Useless, except some limited results from Google, nothing really worked.