Index | Thread | Search

From:
Christian Weisgerber <naddy@mips.inka.de>
Subject:
Re: port that's just a shell script? (idnits)
To:
ports@openbsd.org
Date:
Thu, 24 Oct 2024 17:44:42 +0200

Download raw body.

Thread
  • Florian Obser:

    port that's just a shell script? (idnits)

  • Christian Weisgerber:

    port that's just a shell script? (idnits)

  • Florian Obser:
    
    > Another thing I'd like to have is idnits
    > https://github.com/ietf-tools/idnits/tree/v2
    > 
    > Which is just a bash script, and yes, it's bash.
    
    "Bash" is frequently a codeword for "assumes GNU shell utilities".
    At first glance it actually looks like a POSIX sh script without
    overt bashisms.
    
    At least this will need adapting; presumably we align with "Darwin"
    here:
    
      FDATE='date +%Y-%m-%d -r'
      [ "$system" = "Darwin" ] && FDATE='stat -f %Sm -t %Y-%m-%d'
    
    I did _not_ read the whole thing closely.
    
    -- 
    Christian "naddy" Weisgerber                          naddy@mips.inka.de
    
    
    
  • Florian Obser:

    port that's just a shell script? (idnits)

  • Christian Weisgerber:

    port that's just a shell script? (idnits)