#!/bin/bash echo "rebuilding extension" (npm install && npm run build:serverextension) || echo "fail to rebuild javascript"