Skip to content

Instantly share code, notes, and snippets.

Avatar
🚀

Lennart Kloock lennartkloock

🚀
View GitHub Profile
@sghael
sghael / colors.xml
Created Jun 14, 2012
Android colors.xml
View colors.xml
<?xml version="1.0" encoding="utf-8"?>
<resources>
<color name="white">#FFFFFF</color>
<color name="ivory">#FFFFF0</color>
<color name="light_yellow">#FFFFE0</color>
<color name="yellow">#FFFF00</color>
<color name="snow">#FFFAFA</color>
<color name="floral_white">#FFFAF0</color>
<color name="lemon_chiffon">#FFFACD</color>
<color name="cornsilk">#FFF8DC</color>
@soheilhy
soheilhy / nginxproxy.md
Last active Nov 16, 2022
How to proxy web apps using nginx?
View nginxproxy.md

Virtual Hosts on nginx (CSC309)

When hosting our web applications, we often have one public IP address (i.e., an IP address visible to the outside world) using which we want to host multiple web apps. For example, one may wants to host three different web apps respectively for example1.com, example2.com, and example1.com/images on the same machine using a single IP address.

How can we do that? Well, the good news is Internet browsers

@belst
belst / rocketguide.md
Last active Nov 15, 2022
Deploy Rocket in production
View rocketguide.md

Deploy Rocket using Letsencrypt and nginx

Information

This guide uses the domain your-domain.tld and its www. prefixed version. It starts the rocket application on 127.0.0.1:1337 and as the user www-data. The proxy listens on port 80 and 443 though.
If you need other values, update them accordingly in your nginx and systemd configs.

Prerequisites

You need to have nginx, certbot and rust installed.

View discord-loading-messages.md
  • LOADING_LINE_1: "Discord was almost called Bonfire before we picked our name. It was meant to be nice and cozy."
  • LOADING_LINE_2: "Discord was almost called Wyvern before we picked our name. Not too proud of that one."
  • LOADING_LINE_3: "Our logo's name is Clyde."
  • LOADING_LINE_4: 'There are a bunch of hidden "Easter Eggs" in the app that happen when you click certain things...'
  • LOADING_LINE_5: "Discord started as a game company making a mobile game called Fates Forever."
  • LOADING_LINE_6: "Discord’s official birthday is May 13, 2015."
  • LOADING_LINE_7: "We came up with the idea of Discord Nitro over morning breakfast potatoes."
  • LOADING_LINE_8: "Our mascot, Wumpus, was originally created as a character with no friends :("
  • LOADING_LINE_9: "In Discord's early days, light theme was the only theme. Scary times."
  • LOADING_LINE_10: "In the ancient days, Discord started as a browser-only app."