Skip to content

Instantly share code, notes, and snippets.

View joeldesante's full-sized avatar
bzzt!..

Joel DeSante joeldesante

bzzt!..
View GitHub Profile
@joeldesante
joeldesante / legacy.harvey.json
Created July 7, 2022 01:27
The old Harvey bot configuration file. To be used for migration purposes
{
"channel": "775814282033889321",
"joinMessageChannel": "778112894306222090",
"guild": "750034125464797216",
"botId": "776192421129355266",
"emoji": "👍",
"roles": [
{
"note": "CS150",
"message": "776193379015983135",
git add .
git commit -m "message here"
git push
@joeldesante
joeldesante / SampleBotGist.py
Created September 22, 2021 21:10
This is a bit of code that will be used to test the Compile Bot (Botify)
def example():
print("Hello World!")
print("I am running from the discord bot...")
def add(a, b):
return a + b
print("This is a test\n")
print("Another test")
@joeldesante
joeldesante / PushAll.sh
Created September 6, 2019 19:43
A small script I made to help others efficently push their code to their repository.
#!/bin/sh
printf "*--------------------------------------------*\n\n"
printf "Looks like you want to push something to GitHub. \n\nPlease specify what you added in a sentence or two \n>> "
read updateLog
printf "\nOkay! Which branch will you be pushing too? \n[Type the name of the branch you would like, or press [ENTER] for master.] \n>> "
read branch
if [ "$branch" == "" ]; then