Convert pid, gid, uid, and ip to process_id, group_id, user_id, and ip_address
#22.636 geöffnet am 30. Mai 2026
Repository-Metriken
- Stars
- (30.937 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 4T 16h) (263 gemergte PRs in 30 T)
Beschreibung
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