Skip to content

Commit bdbe845

Browse files
authored
Improve output
1 parent 2cb5e56 commit bdbe845

File tree

1 file changed

+17
-7
lines changed

1 file changed

+17
-7
lines changed

_posts/2025-05-31-run-pr.md

Lines changed: 17 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -18,23 +18,33 @@ To make this work, one needs to have [`gg.cmd`](https://github.com/eirikb/gg#ggc
1818
This can be achieved by using `gg.cmd`, `JBang`, and scripts offered by JabRef:
1919

2020
1. [Download `gg.cmd`](https://github.com/eirikb/gg/releases/latest/download/gg.cmd)
21-
2. Instruct `JBang` to trust JabRef: Execute `.\gg.cmd jbang trust add https://github.com/JabRef/jabref/`.\
21+
2. Instruct `JBang` to trust JabRef: Execute following command:
22+
23+
```
24+
.\gg.cmd jbang trust add https://github.com/JabRef/jabref/
25+
```
26+
2227
![gg initialization](../img/gg-init-1.png)\
2328
![gg initialization](../img/gg-init-2.png)
24-
3. Clone JabRef into a folder.
29+
4. Clone JabRef into a folder.
2530
By default, a system-wide available temporary folder is used.
2631
(In "Advanced Hints" below, we mention steps on how to use a specific folder.)
27-
Execute `.\gg.cmd jbang https://github.com/JabRef/jabref/blob/main/.jbang/CloneJabRef.java`.\
32+
Execute following command:
33+
34+
```
35+
.\gg.cmd jbang https://github.com/JabRef/jabref/blob/main/.jbang/CloneJabRef.java
36+
```
37+
2838
![gg-jabref-clone](../img/gg-jabref-clone.png)
29-
4. After it finishes, it will output the directory:
39+
6. After it finishes, it will output the directory:
3040

3141
```text
3242
JabRef code available at: C:\Users\WDAGUtilityAccount\AppData\Local\Temp\jabref
3343
```
3444

35-
5. Go to the directory: `cd C:\Users\WDAGUtilityAccount\AppData\Local\Temp\jabref` (Note - replace "`WDAGUtilityAccount`" with your username).
36-
6. Move `gg.cmd` to here: `move C:\Users\WDAGUtilityAccount\Downloads\gg.cmd .`. (Note - replace "`WDAGUtilityAccount`" with your username. The path also needs to be changed if you have downloaded `gg.cmd` anywhere else.)
37-
7. Now you can run a PR using `.\gg.cmd just run-pr 13182` (replace `13182` with the PR number of whichever PR you want to try out). Initially, this might take several minutes, as the build environment has to be initialized and JabRef is built completely from scratch. In subsequent runs, the process is much faster.
45+
7. Go to the directory: `cd C:\Users\WDAGUtilityAccount\AppData\Local\Temp\jabref` (Note - replace "`WDAGUtilityAccount`" with your username).
46+
8. Move `gg.cmd` to here: `move C:\Users\WDAGUtilityAccount\Downloads\gg.cmd .`. (Note - replace "`WDAGUtilityAccount`" with your username. The path also needs to be changed if you have downloaded `gg.cmd` anywhere else.)
47+
9. Now you can run a PR using `.\gg.cmd just run-pr 13182` (replace `13182` with the PR number of whichever PR you want to try out). Initially, this might take several minutes, as the build environment has to be initialized and JabRef is built completely from scratch. In subsequent runs, the process is much faster.
3848

3949
## Advanced Hints
4050

0 commit comments

Comments
 (0)