gnuradio.json

{
  "builders": [
    {
      "type": "virtualbox-ovf",
      "headless": true,
      "source_path": "vms/base/instant-gnuradio-base.ova",
      "ssh_username": "gnuradio",
      "ssh_password": "gnuradio",
      "shutdown_command": "sudo systemctl poweroff",
      "guest_additions_mode": "disable",
      "vm_name": "instant-gnuradio",
      "export_opts": [
        "--manifest",
        "--vsys", "0",
        "--description", "Instant GNU Radio",
        "--version", "instant-1"
      ],
      "format": "ova",
      "output_directory": "vms/gnuradio"
    }
  ],
  "provisioners": [
    {
      "type": "file",
      "source": "assets/gnuradio-web.desktop",
      "destination": ".local/share/applications/gnuradio-web.desktop"
    },
    {
      "type": "file",
      "source": "assets/opencl_runtime_16.1.2_x64_rh_6.4.0.37.tgz",
      "destination": "Downloads/opencl_runtime_16.1.2_x64_rh_6.4.0.37.tgz"
    },
    {
      "type": "file",
      "source": "assets/opencl-silent.cfg",
      "destination": "Downloads/opencl-silent.cfg"
    },
    {
      "type": "file",
      "source": "assets/gqrx.desktop",
      "destination": ".local/share/applications/gqrx.desktop"
    },
    {
      "type": "file",
      "source": "assets/fosphor.desktop",
      "destination": ".local/share/applications/fosphor.desktop"
    },
    {
      "type": "file",
      "source": "assets/inspectrum.desktop",
      "destination": ".local/share/applications/inspectrum.desktop"
    },
    {
      "type": "file",
      "source": "assets/gnuradio-grc.desktop",
      "destination": "gnuradio-grc.desktop"
    },
    {
      "type": "file",
      "source": "assets/gqrx-icon.png",
      "destination": "Pictures/gqrx-icon.png"
    },
    {
      "type": "file",
      "source": "assets/inspectrum-icon.png",
      "destination": "Pictures/inspectrum-icon.png"
    },
    {
      "type": "file",
      "source": "assets/fosphor-icon.png",
      "destination": "Pictures/fosphor-icon.png"
    },
    {
      "type": "file",
      "source": "assets/90-usrp.conf",
      "destination": "90-usrp.conf"
    },
    {
      "type": "shell",
      "scripts": [
        "scripts/setup-gnuradio.sh"
      ]
    },
    {
      "type": "shell",
      "scripts": [
        "scripts/cleanup.sh"
      ],
      "execute_command": "sudo -E bash '{{.Path}}'"
    }
  ]
}