Show newer
Sand Fox boosted

Trash Directory for Partition

If you have a separate user writable drive mounted, you may have encountered the same problem I had. If your DE cannot create .Trash-$uid, most DEs will not delete files to the trash at all and KDE will copy deleted files to your home partition. I find both behaviors frustrating.
The solution is rather simple: look at the spec and create the trash directory manually.
# for example, your drive is mounted to /media/external
# go to the drive root
cd /media/external
# create root owned .Trash
sudo mkdir .Trash
# make it world writable with a sticky bit
sudo chmod 1777 .Trash
Note
Sticky bit is used for retaining control over your files in a publicly writable directory. Only the owner of the file can delete or rename it even if other users have write permission in the parent directory. This is a typical permission for /tmp. Read more

specifications.freedesktop.org
en.wikipedia.org/wiki/Sticky_b nerdica.net/objects/a85d745963

Sand Fox boosted

PHP 8.0 Comparison Change

Another new thing in PHP 8.0 will be slightly less madness in non strict value comparison.
Read more… (1 min remaining to read)

sandfox.me/php/php-8-compariso nerdica.net/objects/a85d7459e1

I rarely visit this account so I'm putting a bot mark on it because it just automatically receives posts from my blog

I still participate passively and I will respond to comments to my toots here

@libravatar Why the email in the profile is not editable?

Show older

Sand Fox's choices:

Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.