watch catting together HTML head/foot and MySQL information_schema.processlist

This came up back on August 9th 2020 in #lobsters on freenode. They were doing a system upgrade and providing a report by using `watch` to `cat` together a HTML header and footer with `mysql -e ‘select * from information_schema.processlist’` to provide a status report. Thought that was a neat hack.

HTML forms

Found a cool series of articles: How to Build HTML Forms Right. Only the first two of five articles have been published so far, but I’m looking forward to the next three. The articles are about how to do forms right in HTML 5.

The articles are rich with links, click through for heaps of info. Some things that I found:

window.resizeTo( … )

See here:

  1. You can’t resize a window or tab that wasn’t created by
  2. You can’t resize a window or tab when it’s in a window with more than one tab.
  3. Also, even if you create window by…) it is not resizable by default …see 4.
  4. To make window created by resizable, you must open it with resizable feature
myExternalWindow ="", "myWindowName", "resizable");
myExternalWindow.resizeTo(500,500); //resize window to 500x500

Input keyboard for decimal input on iPhone

So I needed to adjust a value (the odds of a horse winning a race) that has a fractional part and an integer part (i.e. a ‘double’, or ‘float’). The standard numeric input on an iPhone doesn’t include a decimal point, so I needed to trigger a different input device.

I ended up with this:

<input type="number" pattern="[\d\.]*" step="0.01" inputmode="numeric">

Passing selected value into HTML select onchange handler

So you have a <select> element and you want to call a handler, but you need to pass the selected value to the handler because you have multiple instances of the same <select> and can’t access them by ID (because there is many, one of which will have the new selected value, but you don’t know which). The solution is to pass in the newly selected value, like this:

<select onchange='handle_change( this.value )'>