quick type special characters

In Linux you can use ComposeKey, setting it for example (in System settings) as RightCtrl (the right-Ctrl key). RightCtrl is better than AltGr in Italian keyboard, to keep AltGr for some characters like ‘[‘, or ‘]’, or ‘@’, or ‘#’, otherwise unaccessible.

In that way, when you type 1) first RightCtrl 2) then ^ 3) then o, you will get ô. You don’t need to press simultaneously all the keys.

To sum up, the main simbols :

  • RightCtrl+^+o = ô
  • RightCtrl+”+o = ö
  • RightCtrl+’+o = ó

A Workaround for the Default Gmail “From” Rewrite

Google automatically rewrites the “From” field of any e-mail you send through its SMTP servers to the default address set up in your Gmail account, even if you don’t send the mail directly from Gmail. If you’re not careful, this can tarnish your business image. This small quick fix has to be done before you start sending e-mails to help you keep your branding consistent.

Start by signing into the Gmail account you use with Google SMTP. Click the gear icon in the top left corner, then choose Settings. Select the Accounts and Import tab. Look at the Send mail as section and make sure you have more than one e-mail address set up. If you don’t, add another account, preferably one personalized with your business branding. Now simply make this your default account; Google’s SMTP will automatically rewrite the From field using this address instead of your Gmail account. It’s that simple!

re-ocr a pdf with Adobe

You have to 1) save the old searchable pdf to tiff images (as many as the pages), 2) ocr the tiff images to a searchable pf 3) combine the new multiple pdf to one pdf.

problems with phpmyadim

Sometimes it happens that phpmyadmin (/mysql) don’t allow you to do what it should allow, such as change the encoding of a column (or of a table or of a database), or change the engine of tables.

Then, after many failed attempts via sql query, I found that the easiest solution is

  • export the database
  • do the changes you want through a text editor, such as Kate, i.g., replacing the old enconding with the new one
  • import the (modifyed) database (after deleting/renaming the old one)
  • done!

linux black desktop

It’s a bug which affects only one user and not the whole graphical desktop, but only the “desktop” in a narrow sense.

A workaround can be to rename the .config folder (to something like .config.old) so that you can get anew your whole graphical desktop and then maybe you could copy (prudently) one by one your config files (from .config.old to the new .config folder).

matrix clients

desktop clients

Unfortunately all the matrix desktop clients we have tested are quite poor from a graphical point of view: very different from whatsapp or telegram ones, and in particular their interface lacks of intuitivity.

Furthermore, the only capable to make a (video or audio) call is Element, while the others work only as messaging app.

mobile clients

There is Element, but I found Schildichat, with a more friendly interface, very similar to WA or Telegram.

svg rounded corner and shadow

shadow (like css shadow-box)

At least with Firefox you can use a filter, like the following:

.shadow{filter: drop-shadow(8px 6px 6px gray);}

rounded corner

The simplest way to round the corners of a box is to

  • use rect element with rx and ry attributes (such as rx="20" ry="20")
  • and define the style of rect with stroke-linejoin:round; and something like stroke:[your color]; stroke-width:[the width you like];

You can see the following example

box rounded