Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- export ARCHFLAGS="-arch x86_64"
- test -f ~/.bashrc && source ~/.bashrc
- function start() {
- GREEN=$(printf "\033[0;32m")
- nohup jormungandr --config config.yaml --genesis-block-hash $GENESIS_BLOCK_HASH >> /home/griff1/nightly/node.out 2>&1 &
- echo ${GREEN}$(ps | grep jormungandr)
- }
- function stop() {
- echo "$(jcli rest v0 shutdown get -h http://127.0.0.1:${REST_PORT}/api)"
- }
- function stats() {
- echo "$(jcli rest v0 node stats get -h http://127.0.0.1:${REST_PORT}/api)"
- }
- function bal() {
- echo "$(jcli rest v0 account get $(cat account.txt) -h http://127.0.0.1:${REST_PORT}/api)"
- }
- function faucet() {
- echo "$(curl -X POST https://faucet.beta.jormungandr-testnet.iohkdev.io/send-money/$(cat home/griff1/nightly/account.txt))"
- }
- function get_ip() {
- echo "${PUBLIC_IP_ADDR}"
- }
- function get_pid() {
- ps auxf | grep jor
- }
- function memory() {
- top -o %MEM
- }
- function nodes() {
- nodes="$(netstat -tupan | grep jor | grep EST | cut -c 1-80)"
- total="$(netstat -tupan | grep jor | grep EST | cut -c 1-80 | wc -l)"
- printf "%s\n" "${nodes}" "----------" "Total:" "${total}"
- }
- function num_open_files() {
- echo "Calculating number of open files..."
- echo "$(lsof -u $(whoami) | wc -l)"
- }
- function is_pool_visible() {
- echo ${GREEN}$(jcli rest v0 stake-pools get --host "http://127.0.0.1:${REST_PORT}/api" | grep $(cat stake_pool.id))
- }
- function create_stake_pool() {
- echo "$(./createStakePool.sh ${REST_PORT} $(cat secret.key))"
- }
- function delegate() {
- echo "$(./delegate-account.sh $(cat stake_pool.id) ${REST_PORT} $(cat secret.key))"
- }
- function start_leader() {
- GREEN=$(printf "\033[0;32m")
- nohup jormungandr --config config.yaml --secret node_secret.yaml --genesis-block-hash ${GENESIS_BLOCK_HASH} >> /home/griff1/nightly/node.out 2>&1 &
- echo "${GREEN}$(ps | grep jormungandr)"
- }
- function leader_logs() {
- echo "Has this node been scheduled to be leader?"
- echo "$(jcli rest v0 leaders logs get -h http://127.0.0.1:${REST_PORT}/api)"
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement