785
Yes (programming.dev)
you are viewing a single comment's thread
view the rest of the comments
[-] MonkderZweite@feddit.ch 21 points 10 months ago* (last edited 10 months ago)

Still don't do this. If you use bash specific syntax with this head, that's a bashism and causes issues with people using zsh for example. Or with Debian/*buntu, who use dash as init shell.

Just use #!/bin/bash or #!/usr/bin/env bash if you're funny.

[-] wolo@lemmy.blahaj.zone 8 points 10 months ago

#!/bin/bash doesn't work on NixOS since bash is in the nix store somewhere, #!/usr/bin/env bash resolves the correct location regardless of where bash is

[-] JackbyDev@programming.dev 3 points 10 months ago* (last edited 10 months ago)

Are there any distos with /usr/bin/env in a different spot? I still believe that's the best approach for getting bash.

[-] MenacingPerson@lemm.ee 6 points 10 months ago

All posix-compliant distros need /usr/bin/env

[-] MonkderZweite@feddit.ch 5 points 10 months ago* (last edited 10 months ago)

I do think a simple symlink is superior to a tool parsing stuff. A shame POSIX choose this approach.

Still the issue that a posix shell can be on a non-posix system and vice versa. And certificates versus used practice. Btw, isn't there only one posix certified Linux distro? Was it Suse?

[-] MenacingPerson@lemm.ee 2 points 10 months ago

Posix certification is dumb but posix compliance is nice to ensure some level of compatibility.

Symlinks would be pretty bad in the case of nixos. Wouldn't fit at all

[-] Nobsi@feddit.de 2 points 10 months ago

My own. I use arch btw

[-] quantenzitrone@feddit.de 0 points 10 months ago

/bin/bash won't work on every system for example NixOS some other systems may have bash in /usr/bin or elsewhere

[-] MonkderZweite@feddit.ch 1 points 10 months ago
[-] quantenzitrone@feddit.de 1 points 10 months ago

Binaries are not in /usr/bin or /bin except for /bin/sh and /usr/bin/env. Programs should not assume fixed paths for binaries and instead look for them in $PATH.

this post was submitted on 15 Nov 2023
785 points (96.2% liked)

Programmer Humor

19190 readers
1180 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS