Skip to content

Instantly share code, notes, and snippets.

View lennartkloock's full-sized avatar
🦀
Rustacean

Lennart lennartkloock

🦀
Rustacean
View GitHub Profile
@sghael
sghael / colors.xml
Created June 14, 2012 13:43
Android 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 March 22, 2024 08:54
How to proxy web apps using nginx?

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 March 13, 2024 22:09
Deploy Rocket in production

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.

  • 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."