Skip to content

Instantly share code, notes, and snippets.

Avatar

Takayuki Miyauchi miya0001

View GitHub Profile
@miya0001
miya0001 / sample.geojson
Created May 20, 2022
東京都港区内の消火栓
View sample.geojson
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View test.geojson
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 Feb 12, 2022
setup Raspberry Pi as Kosk
View setup.sh
#!/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 Jan 7, 2022
Raspberry Pi as a Kiosk
View setup.sh
#!/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
View test.json
{
"version": 8,
"name": "Geolonia Basic",
"metadata": {},
"sources": {
"natural-earth": {
"type": "vector",
"maxzoom": 6,
"url": "https://cdn.geolonia.com/tiles/natural-earth.json"
},
View test.sh
!#/usr/bin/env bash
set -ex
echo $1
View los.geojson
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 Mar 20, 2020
GSI Japan + OSM
View style.json
{
"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>",
View style.json
{
"version": 8,
"name": "Geolonia Basic",
"metadata": {},
"sources": {
"geolonia": {
"type": "vector",
"url": "https://api.geolonia.com/v1/sources?key=YOUR-API-KEY"
},
"japanese-prefectures": {
View test.json
{
"version": 8,
"name": "Geolonia Basic",
"sources": {
"geolonia": {
"type": "vector",
"url": "https://api.geolonia.com/v1/sources?key=YOUR-API-KEY"
},
"japanese-prefectures": {
"type": "geojson",