#!/usr/bin/env bash

if array_is_nonempty extension_args
then
  enter "${extensions_development_path}/${extension_args[0]}/"
  os_open "$PWD"
else
  fail "At least one extension name must be specified."
fi

