user-mgmt/dev-script.sh

#!/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 .
Add initial versions of dev scripts and a README 2023-07-11 06:35:03 +00:00			`#!/bin/bash`
Delete and refactor some files 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.`
Add initial versions of dev scripts and a README 2023-07-11 06:35:03 +00:00
Delete and refactor some files 2023-07-14 08:45:00 +00:00			`cd git-user-mgmt`
			`git pull`
			`cd ..`
			`cp git-user-mgmt/management/user-mgmt.sh .`