Skip to content

Instantly share code, notes, and snippets.

View DanielViglione's full-sized avatar

DanielViglione

View GitHub Profile
18 changes: 18 additions & 0 deletions 18
src/lib/components/chat/ChatWindow.svelte
@@ -20,6 +20,7 @@
import RetryBtn from "../RetryBtn.svelte";
export let messages: Message[] = [];
export let temperature: number = 0.9;
export let loading = false;
export let pending = false;
export let shared = false;
@DanielViglione
DanielViglione / git-tag-delete-local-and-remote.sh
Created January 31, 2022 17:41 — forked from mobilemind/git-tag-delete-local-and-remote.sh
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName
import boto3
import json
import glob
import sys
import os
import re
# Get latest version of task definition.
def list_image(taskdefname):
client = boto3.client('ecs')
@DanielViglione
DanielViglione / st.py
Last active May 26, 2021 14:38
Python script to update or create new scheduled tasks.
import boto3
import json
import glob
import sys
import os
import re
# Get latest version of task definition.
def list_image(taskdefname):
client = boto3.client('ecs')
@DanielViglione
DanielViglione / bash.sh
Last active April 20, 2021 15:58
public gist for bash.
#!/bin/bash
SUBDOMAIN_SUFFIX=$1
REGION=$2
env=$3
if [[ $env == "dev" ]]
then
# Get list of directories modified in current commit.
LIST_OF_DIRS=$(git diff --dirstat=files,0 HEAD~2 | awk '{print $2}' | cut -d '/' -f 1 | uniq)
cap production deploy:setup
triggering load callbacks
* 2013-06-25 14:06:14 executing `production'
triggering start callbacks for `deploy:setup'
* 2013-06-25 14:06:14 executing `multistage:ensure'
* 2013-06-25 14:06:14 executing `deploy:setup'
triggering before callbacks for `deploy:setup'
* 2013-06-25 14:06:14 executing `rvm:install_rvm'
* executing multiple commands in parallel
-> "else" :: "__LAST_STATUS=0; export CURL_HOME=\"${TMPDIR:-${HOME}}/.rvm-curl-config.$$\"; mkdir ${CURL_HOME}/; { [[ -r ${HOME}/.curlrc ]] && cat ${HOME}/.curlrc; echo \"silent\"; echo \"show-error\"; } > $CURL_HOME/.curlrc; curl -L get.rvm.io | sudo -p 'sudo password: ' bash -s stable --path $HOME/.rvm/ --add-to-rvm-group $USER || __LAST_STATUS=$?; rm -rf $CURL_HOME; exit ${__LAST_STATUS}"