Wednesday, May 24, 2017

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!

Saturday, January 14, 2017

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
$ 7z x

Friday, June 03, 2016

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)

Friday, April 15, 2016

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.

Add Russian charset in Linuxmint/Debian

I opened a console and tried to paste some Russian word but it looked very weird. Then I run: # locale-gen ru_RU.UTF-8 and all works well.