By restoring a recent commit, previous to the ones you want to delete, and then adding the ones you want to recover.
Based on here. Cherry Pick method.
Let's say these are our recent commits:
Number | Hash | Commit Message | Author
// ==UserScript== | |
// @name Delay function | |
// @namespace Violentmonkey Scripts | |
// @include *://example.com/* | |
// @run-at document-start | |
// @author Null (r4v10l1) | |
// ==/UserScript== | |
// --------------------- Settings --------------------- | |
var MY_DELAY = 500; // ms, delayChecker will wait this |
# Build image | |
docker build -d image_name . | |
# Run image in daemon and remove after exit | |
docker run --name container_name --rm -it -d image_name | |
# Clear images without tag | |
docker rmi $(docker images -f "dangling=true" -q) | |
# Clone an image's tag |
#!/bin/sh | |
############################## | |
# For linux only. Usage: | |
# ./compile.sh FILE.c [run] | |
############################## | |
# Check if sdl2 is installed | |
if [[ $(command -v sdl2-config) == "" ]]; then | |
echo "Cant' find sdl2. Exiting..." |
By restoring a recent commit, previous to the ones you want to delete, and then adding the ones you want to recover.
Based on here. Cherry Pick method.
Let's say these are our recent commits:
Number | Hash | Commit Message | Author
echo | |
echo "⠀⠀⠀⠀⠀⢀⣴⡾⠿⠿⠿⠿⢶⣦⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀" | |
echo "⠀⠀⠀⠀⢠⣿⠁⠀⠀⠀⣀⣀⣀⣈⣻⣷⡄⠀⠀⠀⠀⠀⠀⠀⠀" | |
echo "⠀⠀⠀⠀⣾⡇⠀⠀⣾⣟⠛⠋⠉⠉⠙⠛⢷⣄⠀⠀⠀⠀⠀⠀⠀" | |
echo "⢀⣤⣴⣶⣿⠀⠀⢸⣿⣿⣧⠀⠀⠀⠀⢀⣀⢹⡆⠀⠀⠀⠀⠀⠀" | |
echo "⢸⡏⠀⢸⣿⠀⠀⠀⢿⣿⣿⣷⣶⣶⣿⣿⣿⣿⠃⠀⠀⠀⠀⠀⠀" | |
echo "⣼⡇⠀⢸⣿⠀⠀⠀⠈⠻⠿⣿⣿⠿⠿⠛⢻⡇⠀⠀⠀⠀⠀⠀⠀" | |
echo "⣿⡇⠀⢸⣿⠀⠀⠀⠀⠀⠀⠀⠀⠀⣀⣤⣼⣷⣶⣶⣶⣤⡀⠀⠀" | |
echo "⣿⡇⠀⢸⣿⠀⠀⠀⠀⠀⠀⣀⣴⣾⣿⣿⣿⣿⣿⣿⣿⣿⣿⣦⡀" | |
echo "⢻⡇⠀⢸⣿⠀⠀⠀⠀⢀⣾⣿⣿⣿⣿⣿⣿⣿⡿⠿⣿⣿⣿⣿⡇" |
# -*- coding: utf-8 -*- | |
""" | |
Copyright (c) 2019 Valentin B. | |
A simple music bot written in discord.py using youtube-dl. | |
Though it's a simple example, music bots are complex and require much time and knowledge until they work perfectly. | |
Use this as an example or a base for your own bot and extend it as you want. If there are any bugs, please let me know. | |
Requirements: | |
Python 3.5+ | |
pip install -U discord.py pynacl youtube-dl |
// ==UserScript== | |
// @name Twitch Channel Points autoclaimer | |
// @version 1.0.0 | |
// @description Automatically clicks the chest to claim the Twitch channel points | |
// @author jammy | |
// @match https://twitch.tv/* | |
// @match https://www.twitch.tv/* | |
// @grant none | |
// ==/UserScript== |
Note: This is written for those using Python 3 and discord.py, so if you're using something else please reference the relevant documentation for your language or library if you choose to use this as a general reference.
On Discord, there are two different emoji types:
Each needs to be handled differently, as while unicode emoji are just simple unicode characters, Discord custom emoji are special objects available only in Discord, belonging to a specific Discord guild and having their own snowflake ID.
[ Update 2020-05-31: I won't be maintaining this page or responding to comments anymore (except for perhaps a few exceptional occasions). ]
Most of the terminal emulators auto-detect when a URL appears onscreen and allow to conveniently open them (e.g. via Ctrl+click or Cmd+click, or the right click menu).
It was, however, not possible until now for arbitrary text to point to URLs, just as on webpages.
print ("bot v1.0") | |
now = os.time() | |
home_dir = "/home/matthias/" | |
function send_msg_cb(cb_extra, success, result) | |
if success then | |
return | |
end | |
end |