Notes

Linux, WebDev and other…

linux

Simple daemon wrapper script in bash

I needed to run quick  PHP script every 15 seconds. Cron job cannot be used to run tasks more frequently than one minute. This simple script based on this will do the trick. Can be used on servers with shell access without root permissions. Changelog: 2014-10-29 Added pid check

, ,

Mysql Workbench is unstable on Ubuntu 12.04 LTS

Problem I use elementary OS, which is based on ubuntu 12.04 LTS. Mysql Workbench from default repository (mysql-workbench_5.2.38+dfsg-3_amd64.deb) is very unstable. If you try to open model and then create a new one, it will crash with:

Related bug report is here.

, , ,