Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.tchncs.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
A friendly server from Germany – which tends to attract techy people, but welcomes everybody. This is one of the oldest Mastodon instances.

Administered by:

Server stats:

3.8K
active users

social.tchncs.de: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public
muesli

Remind me again, please. What's stopping us from dropping man-pages and their horrible ROFF format?

We could at least convert them to Markdown and provide a convenient pager that's not stuck in the 70s.

murks

@fribbledom Which of the hundred variants of markdown?

Aug 19, 2022, 08:33 AM·Public
1boost·3favorites
Public
murks

@fribbledom Wouldn't the one variant being used be github flavored markdown?
Why not go with RST?

Public
muesli

@murks

GitHub uses CommonMark plus some (fairly well defined) extensions. I don't think the man system would benefit from these extensions tho.

RST would be another fine format, I guess. Anything but ROFF, really.

ExploreLive feeds
About