detached 7289aa8

Add a script to copy gir files

commit
7289aa87950c14c6ca7f5cbee18e75a68a6347ce
author
Jeroen Wijenbergh · · 2025-10-16 14:33 UTC
parent
99ae914
signature
SSH UnverifiedSHA256:8N5EoON8reSTMm461SyWlzRhib6IymBjUHb1p62kwyw The key is unknown
2 files · +22 -0
A copygir.sh +12 -0
@@ -0,0 +1,12 @@
1+#!/bin/sh
2+
3+set -e
4+
5+podman build . -t puregotk-gir-fetcher -f gir.Dockerfile
6+podman create --name puregotk-gir-fetcher puregotk-gir-fetcher
7+
8+GIR_DIR="internal/gir/spec/"
9+find "${GIR_DIR}"*.gir -type f | while read filename; do
10+ podman cp "puregotk-gir-fetcher:/gir-files/$(basename ${filename})" "${GIR_DIR}" || true
11+done
12+podman rm puregotk-gir-fetcher
@@ -0,0 +1,12 @@
1+#!/bin/sh
2+
3+set -e
4+
5+podman build . -t puregotk-gir-fetcher -f gir.Dockerfile
6+podman create --name puregotk-gir-fetcher puregotk-gir-fetcher
7+
8+GIR_DIR="internal/gir/spec/"
9+find "${GIR_DIR}"*.gir -type f | while read filename; do
10+ podman cp "puregotk-gir-fetcher:/gir-files/$(basename ${filename})" "${GIR_DIR}" || true
11+done
12+podman rm puregotk-gir-fetcher
A gir.Dockerfile +10 -0
@@ -0,0 +1,10 @@
1+FROM docker.io/library/alpine:latest
2+
3+RUN apk add --no-cache \
4+ cairo-dev \
5+ gtk4.0-dev \
6+ libadwaita-dev
7+
8+WORKDIR /gir-files
9+
10+RUN cp -r /usr/share/gir-1.0/*.gir .
@@ -0,0 +1,10 @@
1+FROM docker.io/library/alpine:latest
2+
3+RUN apk add --no-cache \
4+ cairo-dev \
5+ gtk4.0-dev \
6+ libadwaita-dev
7+
8+WORKDIR /gir-files
9+
10+RUN cp -r /usr/share/gir-1.0/*.gir .

Keyboard shortcuts

Single-key shortcuts are on. ctrl k and esc work whatever this says.

ctrl k :
go to a section, branch, tag, file or repository
?
this list
j k
move the row cursor down / up
enter
open the row under the cursor; on Files, a directory opens or closes in place
↑ ↓ ← → home end
in the file tree (focus on a row): previous / next row, close / open a directory or go to its parent / first entry, first / last row. They never open a file
l h
on Files: open a directory or a file / close a directory or go up to its parent, then to the parent page. Elsewhere: into the side panel (on a merge request, its files) / back to the content; there j k move between its controls
g g G
first / last row
/
filter the list; on Files, find a file anywhere in the repository (esc clears, enter opens the best match)
b
switch branch or tag
g s g f g c g b g m g i g r g a
tabs: summary, files, commits, branches & tags, merge requests, issues, releases, actions (when available)
g h
home
w
wide mode: use the whole width of the screen, or not (remembered)
y
copy a permalink pinned to the commit
d u x
diff: split / unified / collapse or expand all
e E
diff: the whole file in view / every file, with the lines the hunks hide
n
merge request: next note in the diff
esc
close a dialog, leave a field

Branches 1

Tags 102

↑↓ moveenter openesc close