Skip to content

Instantly share code, notes, and snippets.

View tenhobi's full-sized avatar
🦄
magical

Honza Bittner tenhobi

🦄
magical
View GitHub Profile
@jagrosh
jagrosh / Growing A Discord Server.md
Last active November 9, 2024 11:48
Tips for creating and growing a new Discord server

This guide is kept up-to-date as Discord and available resources change!
A basic server template is available here

Creating and Growing a Discord Server

logo

Introduction

Hello! I'm jagrosh#4824! I'm writing this guide to try to help new server owners set up and grow their servers, which is a commonly-requested topic. It's very easy to go about this the wrong way, so it's best to be prepared and make smart decisions so that your community can flourish!

Background

@machal
machal / pravidla.md
Last active September 18, 2018 13:26
FB/Frontendisti – pravidla

Pravidla diskuzní skupiny Frontendisti.cz

Skupina je spravována pro podporu komunity http://frontendisti.cz/.

  1. DRŽÍME TÉMA
    Diskutujeme hlavně o frontendu – CSS, HTML, JS se souvisejícími přesahy (backend, design). Tématu se držíme v otevřených diskuzích.
  2. NESPAMUJEME
    Nabídky práce patří na pracovní forum Frontendistů. https://www.facebook.com/groups/frontendistiprace/ Reklama na produkty a služby sem nepatří.
  3. NELADÍME CHYBY SOFTWARE
@Nemo64
Nemo64 / css-zoom.js
Last active February 6, 2024 14:28
A polyfill for the zoom css property in firefox. The element that is zoomed must not have a margin though!
// this is a hacky and brutal polyfill to somewhat implement zoom in firefox
// https://caniuse.com/#feat=css-zoom
// it allows to use jQuery's $('.element').css({zoom: 1.5});
// there is no effort to actually implement a normal css polyfill
// this polyfill also doesn't work when the zoomed element has margins since they are used to fake the new size.
$.cssNumber.zoom = true;
if (!("zoom" in document.body.style)) {
$.cssHooks.zoom = {
get: function(elem, computed, extra) {
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active November 2, 2024 08:30
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
{% load captureas %}
{% captureas message %}{% spaceless %}{% block message %}{% endblock %}{% endspaceless %}{% endcaptureas %}
{% if message %}
<section id="message" class="messages alert">
<p>{{ message }}</p>
</section>
{% endif %}
from django import template
register = template.Library()
@register.tag(name='captureas')
def do_captureas(parser, token):
try:
tag_name, args = token.contents.split(None, 1)
@iambibhas
iambibhas / scopes.txt
Last active June 16, 2024 20:45
Sublime Text 2: Snippet scopes
Here is a list of scopes to use in Sublime Text 2 snippets -
ActionScript: source.actionscript.2
AppleScript: source.applescript
ASP: source.asp
Batch FIle: source.dosbatch
C#: source.cs
C++: source.c++
Clojure: source.clojure
CoffeeScript: source.coffee