BennieCopeland

#!/bin/bash
# Import DoD root certificates into linux CA store

main() {
    # Location of bundle from DISA site
    url='https://public.cyber.mil/pki-pke/pkipke-document-library/'
    bundle=$(curl -s $url | awk -F '"' 'tolower($2) ~ /dod.zip/ {print $2}')
    #bundle=https://dl.dod.cyber.mil/wp-content/uploads/pki-pke/zip/certificates_pkcs7_v5-6_dod.zip

    # Set cert directory and update command based on OS

BennieCopeland

#r "nuget:FsCheck.Xunit"

// Domain types from production code
module Types =
    open System
    
    type EmailAddress = private EmailAddress of string
    module EmailAddress =
        let fromString str =
            if not <| String.IsNullOrWhiteSpace str

BennieCopeland

public record EmailAddress
{
    public const int MaxSize = 255;
    private readonly string _value;

    private EmailAddress(string value) => _value = value;

    public static EmailAddress FromString(string value)
    {
        if (string.IsNullOrWhiteSpace(value))