Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (Cyborg)
  • No Skin
Collapse
Brand Logo

CIRCLE WITH A DOT

jdebp@tty0.socialJ

jdebp@tty0.social

@jdebp@tty0.social
About
Posts
3
Topics
1
Shares
0
Groups
0
Followers
0
Following
0

View Original

Posts

Recent Best Controversial

  • If I really want to shave a GNU Emacs yak, I could try sorting out TRAMP, which is a complete mess because I use a non-standard shell and shell environment.
    jdebp@tty0.socialJ jdebp@tty0.social

    @cks

    I wondered whether it would be that. I couldn't think of much else as a possibility. Even the Thompson shell unescapes \$ .

    Uncategorized

  • If I really want to shave a GNU Emacs yak, I could try sorting out TRAMP, which is a complete mess because I use a non-standard shell and shell environment.
    jdebp@tty0.socialJ jdebp@tty0.social

    @cks

    Which shell is that?

    #UnixShells

    Uncategorized

  • For the record, and since we are on the subject of supply-chain attacks:
    jdebp@tty0.socialJ jdebp@tty0.social

    For the record, and since we are on the subject of supply-chain attacks:

    The person behind the 'daemontools' account on GitHub is unidentifiable, and certainly isn't Daniel J. Bernstein, me, @ska, Bruce Guenter, or anyone else well-known in the #daemontools world.

    The account has been inactive since 2013. If that account suddenly wakes up, it's not unreasonable to suspect that it has been compromised/become malicious.

    (M. Guenter is bruceg on #GitHub and is active there to this week.)

    Uncategorized daemontools github
  • Login

  • Login or register to search.
  • First post
    Last post
0
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups