if button dev-mode; then
    setenv dev_mode yes
fi