Skip to content

Instantly share code, notes, and snippets.

View miya0001's full-sized avatar

Takayuki Miyauchi miya0001

View GitHub Profile
@miya0001
miya0001 / sample.geojson
Created May 20, 2022 05:33
東京都港区内の消火栓
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@miya0001
miya0001 / setup.sh
Created February 12, 2022 08:20
setup Raspberry Pi as Kosk
#!/usr/bin/env bash
set -ex
sudo apt update
sudo apt upgrade -y
sudo apt purge wolfram-engine scratch nuscratch sonic-pi idle3 -y
sudo apt purge smartsim java-common libreoffice* -y
@miya0001
miya0001 / setup.sh
Last active January 7, 2022 19:28
Raspberry Pi as a Kiosk
#!/usr/bin/env bash
set -ex
sudo raspi-config nonint do_change_locale ja_JP.UTF-8
sudo apt update
sudo apt upgrade -y
sudo apt purge wolfram-engine scratch nuscratch sonic-pi idle3 smartsim java-common libreoffice* -y
{
"version": 8,
"name": "Geolonia Basic",
"metadata": {},
"sources": {
"natural-earth": {
"type": "vector",
"maxzoom": 6,
"url": "https://cdn.geolonia.com/tiles/natural-earth.json"
},
!#/usr/bin/env bash
set -ex
echo $1
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@miya0001
miya0001 / style.json
Last active March 20, 2020 05:05
GSI Japan + OSM
{
"version": 8,
"name": "Geolonia Basic",
"sources": {
"gsi-japan": {
"type": "vector",
"tiles": [
"https://cyberjapandata.gsi.go.jp/xyz/experimental_bvmap/{z}/{x}/{y}.pbf"
],
"attribution": "<a href=\"https://www.gsi.go.jp/\">GSI Japan</a>",
{
"version": 8,
"name": "Geolonia Basic",
"metadata": {},
"sources": {
"geolonia": {
"type": "vector",
"url": "https://api.geolonia.com/v1/sources?key=YOUR-API-KEY"
},
"japanese-prefectures": {
{
"version": 8,
"name": "Geolonia Basic",
"sources": {
"geolonia": {
"type": "vector",
"url": "https://api.geolonia.com/v1/sources?key=YOUR-API-KEY"
},
"japanese-prefectures": {
"type": "geojson",