When echoing text with PHP, if the string contains more than one space, the extra spaces are lost when rendered in the browser.
the following is a workaround;
str_replace(' ', ' ', $my_text);
This is especially important if we want to display values returned from a database query and the value has a double space for example and of course if that double space is important.
The basic format of the commands are as follows;
gpg keys can normally be removed from the /etc/apt/trusted.gpg.d directory.
This would be in the format of sudo rm ...
However if the keys are stored in /etc/apt/trusted.gpg then we need to use;
sudo apt-key del [keyid] which is fine for older? systems where the following shows a list of the keys;
sudo apt-key list
and the keyid field would be shown but on modern systems that seems not to be the case, so this time, we again use sudo apt-key list but note the last 8 characters of the long number and this becomes the keyid which can then be removed by using;
sudo apt-key del [keyid]
In some cases the incorrect uncompressed file size is reported when running the following command;
gzip -l myfile.gz
A work around is the use the alternative below;
zcat myfile.ga | wc -c
[source]
To resize a virtualbox disk, you can do it from the GUI on current systems;
The following are just examples of the use date offsets;
SET @timeframe=now()-interval 2 year;
SELECT ...
WHERE o.doe >= @timeframe
SET @timeframe = DATE_SUB(CURDATE(), interval 1 day);
SELECT ...
WHERE o.doe >= @timeframe and o.doe <= @timeframe
The former will deal with the full date/time stamp, while the latter will consider only the date and is good for when we need to find results for a particular day for example.