Skip to content
  • Robert Ricci's avatar
    Several enhancements to the installation scripts: · 58b8fdf4
    Robert Ricci authored
    In ops-install, only make mailing list files for email addresses
    that we think will be hosted on ops.
    
    To both boss-install and ops-install, add a '-p' option to specify
    a directory in which binary packages can be found - so that we can
    avoid building ports.
    
    Fix up the way we handle the elvind config file - it must be identical
    to the one in the source tree. Add a library function to check for
    this.
    
    These are as yet untested.
    58b8fdf4