#!/bin/bash
if [ $# -ne 2 ]; then
echo "Usage: $(basename $0) web-path daemon-path"
exit 1
fi
web_path="$1"
daemon_path="$2"
set -e
mkdir -p "$web_path" "$daemon_path"
cp .htaccess \
badge.php build.php config.php dashboard.php footer.php header.php \
style.css favicon.png \
"$web_path"
cp -r classes/ vcs/ "$web_path"
cp config.php daemon.php new.php "$daemon_path"
cp -r classes/ vcs/ "$daemon_path"
mkdir -p "$daemon_path/builders"
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"
Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/fragile
Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/fragile
You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a
pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master