Convert pid, gid, uid, and ip to process_id, group_id, user_id, and ip_address
#22.636 aberto em 30 de mai. de 2026
Métricas do repositório
- Stars
- (30.937 stars)
- Métricas de merge de PR
- (Mesclagem média 4d 16h) (263 fundiu PRs em 30d)
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