Skip to content

Instantly share code, notes, and snippets.

View keefo's full-sized avatar
🎯
Indulging in the future of software engineering

Xu Lian keefo

🎯
Indulging in the future of software engineering
View GitHub Profile
@keefo
keefo / answer.md
Last active May 25, 2021 07:21 — forked from Discord-AppBot/answer.md
AppBot - a Discord bot made for staff application management within Discord.

What are your hobbies?

Table cccssssfds

Syntax Description
Header Title
Paragraph Text
@keefo
keefo / area_to_geojson.py
Created July 7, 2019 17:14 — forked from RemiDesgrange/area_to_geojson.py
A simple script to transform the area of massif from meteofrance into a geojson.
from typing import Dict
BASE_URL = "http://www.meteofrance.com/mf3-rpc-portlet/js/datas/zones_AVDEPT{}.json"
DEPTS = ("73", "74", "05", "38")
import requests
from geojson import Feature, FeatureCollection
def get_area(dept: str) -> Dict:
r = requests.get(BASE_URL.format(dept))
<?php
/**
* Plugin Name: Another Syntax Highlighter
* Version: 0.1
* Plugin URI: https://norbertvajda.wordpress.com/
* Description: Just another syntax highligher plugin. It works with prism.js (https://prismjs.com/).
* Author: Norbert Vajda
* Author URI: https://norbertvajda.wordpress.com/
* Network: false
* Text Domain: ash
#!/bin/bash
URL='https://www.google.com/search?q='
QUERY=$(echo '' | dmenu -p "Search:")
if [ -n "$QUERY" ]; then
firefox "${URL}${QUERY}" 2> /dev/null
exec i3-msg [class="^Firefox$"] focus
fi
@keefo
keefo / merge_lists.py
Created July 7, 2019 17:14 — forked from eduzen/merge_lists.py
Merge arrays with duplicated elements
def merge_lists(aList, bList):
if not aList or not bList:
print("empty lists")
return aList + bList
c = []
while aList and bList:
if aList[0] < bList[0]:
c.append(aList.pop(0))
else:
@keefo
keefo / Main.kt
Created July 7, 2019 17:13
async/await comparison between Kotlin, C#, Typescript
import kotlinx.coroutines.delay
fun main() {
fireAndForget()
}
/* C#
public static async Task Main(string[] args)
{
fireAndForget();
##########
# Win10 Optimization Script With Extra GPD Win Tweaks
# Adapted version of https://github.com/Disassembler0/Win10-Initial-Setup-Script by Disassembler <disassembler@dasm.cz>
# Author: BlackDragonBE
# Version: v2.2.1 (2017-12-02)
# Copied from https://www.reddit.com/r/gpdwin/comments/6ipa6c/windows_10_optimization_script_for_gpd_win/
##########
# As a workaround for disabled script execution, run this command (without #) in an elevated PowerShell windows first and choose "all" if you're asked where to apply this:
# Set-ExecutionPolicy -Scope Process -ExecutionPolicy Bypass
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@keefo
keefo / html+css+jsp.jsp
Last active June 10, 2019 01:17 — forked from PuppyRush/sample.jsp
jsp
<%@ page language="java" contentType="text/html; charset=ISO-8859-1"
pageEncoding="ISO-8859-1"%>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Guru Registration Form</title>
<style>
body {
background-image: url("img_tree.png");
@keefo
keefo / backup.bat
Created June 8, 2019 04:26 — forked from koma5/backup.bat
automated mysql dumps on windows - dumps all dbs which user sees
set MYSQLUSER=username
set MYSQLPASS=password
set BATCHFILE=C:\Temp\auto_built_sql_dump.bat
set DUMPPATH=Z:\
set DRIVE=Z:
net use %DRIVE% \\somehost\some\networkdrive /user:domain\user password
rem building time stamp
set tmp_time=%time:~-11,2%.%time:~-8,2%.%time:~-5,2%