#!/usr/bin/env bash

if array_is_nonempty extension_args
then
  if path_exists "${extensions_development_path}/${extension_args[0]}"
  then
    enter "${extensions_development_path}/${extension_args[0]}"

    os_open "$PWD"
  else
    error "Failed to open '${extension_args[0]}' "\
      "as it appears to not be installed. Installed extensions are,"
    extensions_installed
  fi
else
  fail "At least one extension name must be specified."
fi
