#!/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."
  fi
else
  fail "At least one extension name must be specified."
fi
