Weapon of Choice

2018-09-072018-09-07

12 Parties

A logic test from a job selection process:

A nation’s people can vote for members of parliament from 12 parties. One voter must cast only one vote for one representative. If a party doesn’t get more than 5% of votes, then it won’t get any chairs in the parliament. How many chairs can get (at most) the party which collects 25% of votes?

Solution

If V1 == 25%, then Sum(Vi, i=2..12) == 75%
The best for P1 would be that the other parties get 5% of votes, so that they lower the 75% but don’t get any chairs.
- 5% * 11 = 55% < 75%
  11 other parties cannot get 5% each because there are no parties left to absorb the remaining 20% of votes.
- 5% * 10 = 50% -> V2 = 75% – 50% == 25%
  10 other parties can get 5% each instead because the remaining party can get the remaining 25% of votes.
Only P1 and P2 will share the parliament, and each of them with 50% of the chairs.

2018-06-112021-09-26

How to add a link from a featured image to any URL

I want to provide a link to the source of a featured image, that I use to draw attention to a post of mine, to help catalog that as a “fair use”.

Unfortunately, the standard Twentyseventeen theme of WordPress doesn’t offer any way of doing such a simple thing out of the box.

But with the help of my Custom Stuff plugin

<?php
/*
Plugin Name: Custom Stuff
Plugin URI: http://andowebsit.es/
Description: Custom stuff for my blog.
Author: Andrea Ercolino
Author URI: http://andowebsit.es/about
Version: 1.1
*/

function custom_stuff_header() {
    require 'header.php';
}
add_action( 'wp_head',  'custom_stuff_header', 10, 0 );


function custom_stuff_footer() {
    require 'footer.php';
}
add_action( 'wp_footer',  'custom_stuff_footer', 10, 0 );

require 'no-richedit.php';

(file wordpress/wp-content/plugins/custom-stuff/custom-stuff.php)

that’s only a few lines away

<?php

function custom_stuff_featured_image_link($html, $post_id, $post_thumbnail_id) {
    $post_thumbnail = get_post( $post_thumbnail_id );
    if ( ! $post_thumbnail ) {
        return $html;
    }
    $href = $post_thumbnail->post_title;
    if ( ! $href ) {
        return $html;
    }
    return "<a href='$href' target='_blank'>$html</a>";
}

add_filter( 'post_thumbnail_html', 'custom_stuff_featured_image_link', 10, 3 );

(file wordpress/wp-content/plugins/custom-stuff/featured-image-link.php)

<?php
/*
Plugin Name: Custom Stuff
Plugin URI: http://andowebsit.es/
Description: Custom stuff for my blog.
Author: Andrea Ercolino
Author URI: http://andowebsit.es/about
Version: 1.2
*/

function custom_stuff_header() {
    require 'header.php';
}
add_action( 'wp_head',  'custom_stuff_header', 10, 0 );


function custom_stuff_footer() {
    require 'footer.php';
}
add_action( 'wp_footer',  'custom_stuff_footer', 10, 0 );

require 'no-richedit.php';

require 'featured-image-link.php';

(file wordpress/wp-content/plugins/custom-stuff/custom-stuff.php)

2018-06-062021-09-26

How to connect from SequelPro to an Ubuntu server using Public Key authentication

Connecting from SequelPro to an Ubuntu server using Public Key authentication looks like a very simple setup, and in fact it entails just a few steps, but I had to learn again each of them the hard way. After many months without using SequelPro to access my WordPress database on DigitalOcean, my Ubuntu server was already the second new instance since the last time I had configured SequelPro and I hadn’t the slightest idea of which was the last working configuration and how it was set up.

Machines

Remote: the machine you want to connect to with SSH
Local: the machine you want to connect from with SSH

Setup

Remote: Create a group of users with permission to login with SSH
- Open a terminal window on Local and SSH into Remote using the root user
- Run # addgroup sshlogin
- Run # adduser root sshlogin
- Edit the /etc/ssh/sshd_config file and append a line with AllowGroups sshlogin.
- Run # systemctl restart ssh
- Before closing this terminal window, open a new one and try to login with SSH using the root user. If you are denied access, go back to the previous terminal window and try to figure out how to fix root access while you still have root access.
Remote: Create a SequelPro user and add it to the sshlogin group
- Run # adduser sequel_pro
- Run # adduser sequel_pro sshlogin
The SequelPro user is a common user, with its own home directory.

Set a long password, only used to prevent unauthorised impersonation (without an authorised key).
Local: Generate a key pair
- Run $ ssh-keygen -b 4096
I used an empty passphrase to protect the private key.
Remote: Authorise the key for the SequelPro user
- Edit the /home/sequel_pro/.ssh/authorized_keys file and append a line with the pubic key (one long line).
- Run # chown -R sequel_pro:sequel_pro /home/sequel_pro/.ssh
- Run # chmod 0700 /home/sequel_pro/.ssh
- Run # chmod 0600 /home/sequel_pro/.ssh/authorized_keys

Test

(add the SequelPro user to the sshlogin group and) confirm that you can login

andrea at Lock-and-Stock in ~
$ ssh sequel_pro@159.89.188.53
sequel_pro@159.89.188.53: Permission denied (publickey).

andrea at Lock-and-Stock in ~
$ ssh -i ./.ssh/sequel_pro-id_rsa sequel_pro@159.89.188.53
Welcome to Ubuntu 16.04.3 LTS (GNU/Linux 4.4.0-127-generic x86_64)
...
sequel_pro@wordpress-1vcpu-2gb-nyc3-01:~$

remove the SequelPro user from the sshlogin group and confirm that you cannot login

root@wordpress-1vcpu-2gb-nyc3-01:/etc/ssh# deluser sequel_pro sshlogin
Removing user `sequel_pro' from group `sshlogin' ...
Done.

andrea at Lock-and-Stock in ~
$ ssh -i .ssh/sequel_pro-id_rsa sequel_pro@159.89.188.53
sequel_pro@159.89.188.53: Permission denied (publickey).

Troubleshooting

On remote
1. Check owner and permissions of the .ssh directory and its contents.
2. Make sure that AllowGroups sshlogin is working nicely with Match rules.
  
  In my case, the former was not working for sequel_pro (i.e. sequel_pro could login both when it belonged to sshlogin and when it did not) because the former appeared just before.