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
Executable file

#!/bin/bash
# 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.
cd git-user-mgmt
git pull
cd ..
cp git-user-mgmt/management/user-mgmt.sh .