This repository has been archived on 2024-04-08. You can view files and clone it, but cannot push or open issues or pull requests.
user-mgmt/dev-script.sh

8 lines
249 B
Bash
Raw Permalink Normal View History

#!/bin/bash
2023-07-14 08:45:00 +00:00
# simple git pull command and script setup script for development
# clone the repository under the name 'git-user-mgmt' and run this script in the parent folder.
2023-07-14 08:45:00 +00:00
cd git-user-mgmt
git pull
cd ..
cp git-user-mgmt/management/user-mgmt.sh .