plash version
Prints the version number.
#!/bin/sh
    
  
    
      set -eux
    
  
    
      plash --version
    
  
#define USAGE "usage: plash version\n"
#include <stdio.h>
#include <stdlib.h>
int version_main(int argc, char *argv[]) {
  puts("$Format:%h$");
  return EXIT_SUCCESS;
}