• 1 Post
  • 123 Comments
Joined 1 year ago
cake
Cake day: June 23rd, 2024

help-circle








  • Renumbering characters during font minimization? I haven’t encountered that, it would break searching and copying.

    Anyway, PDFs for example don’t even say whether a line of text is left, center or justified – they usually store the coordinates of the first character and then spacing to each subsequent one unless defined by the font.

    And what if the document contains text boxes, or other Word objects? Well, the text is separate from the underlying rectangle (if there is one) and it’s up to the conversion tool to guess if it’s part of the main text layer.

    Sorry, it’s really hard to edit PDFs. You might want to use Inkscape for editing the graphical parts. If you also need to edit paragraphs, I suggest recreating the document by pasting them into Word/LibreOffice, and importing any graphical shapes as SVGs (use Inkscape for the conversion, then you can try Word’s “Graphic > Convert to Shapes” feature).

    Really, every software that outputs PDF should treat it as an export process, hopefully making it clearer that “saving as PDF” is visually lossless but structurally lossy and messy.









  • Is there a tool to automatically check partitions for excessive log files, caches or other junk? The root partition of a Linux box I have is 60 GiB and almost full, and XFCE will fail to start when there’s no space. I would use WinDirStat on Windows but the Linux alternatives can’t do the job properly because they scan by file tree and some subdirectories of / are on other partitions because of symlinks… I guess I could boot a live USB and mount my ext4 root partition but not the NTFS storage one but I’d rather avoid that.



  • This is a great time for the engineer to exert leverage.

    "Yes, I can fix it in hours. Here are my demands:

    • $200,000
    • I’ll also push a firmware update to all your devices that allows setting any address for the server and exposes all functionality in a Home Assistant API, and you won’t ever disable this in current or future devices
    • You’ll offer a free locally-connected button/knob device to any customer owning an affected product, or a free service to upgrade the products with on-device controls
    • In any social media posts, press releases, customer communication or interviews regarding today’s outage, you have to say that plumbing that requires a server connection is a bad idea