<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Le 12/03/2019 à 21:31, Federico Miyara
      a écrit :<br>
    </div>
    <blockquote cite="mid:5C881723.30904@fceia.unr.edu.ar" type="cite">
      <meta content="text/html; charset=windows-1252"
        http-equiv="Content-Type">
      <br>
      Dear All,<br>
      <br>
      <font face="Courier New, Courier, monospace">I try to get this
        error message translated:</font><span
        style="color:rgb(50,185,185);"><br>
        <br>
        msprintf</span><span style="color:rgb(74,85,219);">(</span><span
        style="color:rgb(50,185,185);">gettext</span><span
        style="color:rgb(74,85,219);">(</span><span
        style="color:rgb(188,143,143);">"</span><span
        style="color:rgb(188,143,143);">%s: Argument #%d: Vector
        expected.\n</span><span style="color:rgb(188,143,143);">"</span><span
        style="color:rgb(74,85,219);">)</span><span
        style="color:rgb(0,0,0);">,</span> <span
        style="color:rgb(188,143,143);">"</span><span
        style="color:rgb(188,143,143);">bandfilter</span><span
        style="color:rgb(188,143,143);">"</span><span
        style="color:rgb(0,0,0);">,</span> <span
        style="color:rgb(188,143,143);">1</span><span
        style="color:rgb(74,85,219);">)<br>
        <br>
      </span><font face="Courier New, Courier, monospace">Any idea of
        what's wrong?<br>
      </font></blockquote>
    <br>
    The long historical form is<br>
    <tt>gettext("%s: Wrong size for argument #%d: Vector expected.\n")</tt><br>
    <br>
    When some students or colleagues ask me for help, i have noticed
    that quite often they did not really read the error message, and i
    wondered why.<br>
    Often, IMO error messages are uselessly verbosy. This is why i
    proposed<br>
    a series of shorter, more straightforward, and more orthogonal ones.<br>
    <br>
    Samuel<br>
    <br>
  </body>
</html>