#!/bin/bash build() { add_checked_modules "/ide/" && add_module "ide-gd_mod?" } help() { cat <