Convert pid, gid, uid, and ip to process_id, group_id, user_id, and ip_address
#22 636 ouverte le 30 mai 2026
Métriques du dépôt
- Stars
- (30 937 stars)
- Métriques de merge PR
- (Merge moyen 4j 16h) (263 PRs mergées en 30 j)
Description
process_id, group_id, and user_id are much more descriptive. These can also be abbreviations of something else so be mindful. pid can be product_id and gid can be gpu_id for example.
In addition I would like to see ip converted to ip_address, essid converted to extended_ssid, and bssid converted to basic_ssid.
Also if you see a basic id, you can change that to something more descriptive.
I'm open for other abbreviations that should be spelled out. Here are a couple that I've made lowercase https://github.com/tldr-pages/tldr/pulls?q=is%3Apr%20lowercase%20is%3Aclosed%20author%3Amanagor