Skip to content

gawk: add GNU version of awk #16491

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 8 commits into from
May 17, 2025
Merged

gawk: add GNU version of awk #16491

merged 8 commits into from
May 17, 2025

Conversation

Managor
Copy link
Collaborator

@Managor Managor commented May 14, 2025

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page(s) have at most 8 examples.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR title conforms to the recommended templates.
  • Version of the command being documented (if known):

@Managor Managor requested a review from cyqsimon as a code owner May 14, 2025 09:18
@github-actions github-actions bot added the new command Issues requesting creation of a new page or PRs adding a new page for a command. label May 14, 2025
@fazlearefin
Copy link
Member

fazlearefin commented May 14, 2025

On a freshly installed Debian 12, awk is not GNU awk, but mawk. I believe so is the case in Ubuntu and Pop_OS as well. Once the package gawk installed, awk then points to GNU awk.

So I think this page should be named gawk.md.

user@debian-12-vbox:~$ which awk
/usr/bin/awk
user@debian-12-vbox:~$ dpkg -S /usr/bin/awk
dpkg-query: no path found matching pattern /usr/bin/awk
user@debian-12-vbox:~$ ls -l /usr/bin/awk
lrwxrwxrwx 1 root root 21 Jun 18  2022 /usr/bin/awk -> /etc/alternatives/awk
user@debian-12-vbox:~$ ls -l /etc/alternatives/awk
lrwxrwxrwx 1 root root 13 Jun 18  2022 /etc/alternatives/awk -> /usr/bin/mawk
user@debian-12-vbox:~$
user@debian-12-vbox:~$
user@debian-12-vbox:~$ sudo apt install gawk -y &>/dev/null
[sudo] password for user:
user@debian-12-vbox:~$
user@debian-12-vbox:~$ which awk
/usr/bin/awk
user@debian-12-vbox:~$ ls -l /usr/bin/awk
lrwxrwxrwx 1 root root 21 Jun 18  2022 /usr/bin/awk -> /etc/alternatives/awk
user@debian-12-vbox:~$ ls -l /etc/alternatives/awk
lrwxrwxrwx 1 root root 13 May 14 22:40 /etc/alternatives/awk -> /usr/bin/gawk
user@debian-12-vbox:~$

@acuteenvy What are your thoughts on this?

@Managor
Copy link
Collaborator Author

Managor commented May 14, 2025

I think that's a pretty clear and cut case

@github-actions github-actions bot added the page edit Changes to an existing page(s). label May 14, 2025
Co-authored-by: Fazle Arefin <[email protected]>
@Managor Managor changed the title awk: add GNU version of page gawk: add GNU version of awk May 15, 2025
Co-authored-by: Sebastiaan Speck <[email protected]>
@tldr-bot
Copy link

Hello! I've noticed something unusual when checking this PR:

  • The page pages/common/gawk.md seems to be a copy of pages/common/awk.md (80% matching).

Is this intended? If so, just ignore this comment. Otherwise, please double-check the commits.

@kbdharun kbdharun requested a review from sebastiaanspeck May 17, 2025 13:33
@fazlearefin fazlearefin merged commit e11a402 into tldr-pages:main May 17, 2025
4 checks passed
@Managor Managor deleted the awk branch May 17, 2025 18:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new command Issues requesting creation of a new page or PRs adding a new page for a command. page edit Changes to an existing page(s).
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants