Skip to content

Instantly share code, notes, and snippets.

View ilhooq's full-sized avatar

Sylvain PHILIP ilhooq

View GitHub Profile
@ilhooq
ilhooq / browser.py
Last active March 20, 2022 22:41
A minimalist Gtk3 web browser that looks like Epiphany
#!/usr/bin/python3
import gi, sys
gi.require_version('Gtk', '3.0')
gi.require_version('WebKit2', '4.0')
from gi.repository import Gtk, WebKit2 as WebKit, Pango
class Tab(Gtk.VBox):
@ilhooq
ilhooq / phpls.plugin
Last active September 1, 2021 21:45
A gnome-builder plugin to provide PHP Language Server integration with Phpactor
[Plugin]
Authors=Sylvain PHILIP <contact@sphilip.com>
Copyright=Copyright © 2021 Sylvain PHILIP
Description=Provides auto-completion for PHP, diagnostics, and other IDE features, working with Phpactor
Loader=python3
Module=phpls_plugin
Name=PHP Language Server Integration
X-Completion-Provider-Languages=php
X-Diagnostic-Provider-Languages=php
X-Formatter-Languages=php
@ilhooq
ilhooq / hello.py
Last active March 19, 2022 19:02
Build a binary Hello World executable on Linux with Python using hexadecimal X86 machine instructions
"""
This script create a hello word 64bits binary executable in ELF format.
It's goal is to describe how work a binary program on Linux at the lowest system level.
To build the binary run :
python hello.py
chmod +x hello.py
Then run the program :
@ilhooq
ilhooq / bootstrap4-mega-menu.html
Last active March 6, 2020 09:09
Bootstrap 4 responsive mega menu
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Bootstrap 4 mega menu</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css">
<style type="text/css">
.megamenu .dropdown-menu {
@ilhooq
ilhooq / importWikispaces.php
Last active September 26, 2018 15:28
Import wiki from WikiSpaces to MediaWiki
<?php
/**
* Import pages from Wikispaces
*
* ======================================================================
*
* To use this script, put it in your MediaWiki 'maintenance' folder
* Then call the script on the command line.
*
* Examples of use :