Co-authored-by: Clément Drouin <clement.drouin@mistral.ai>
Co-authored-by: Laure Hugo <201583486+laure0303@users.noreply.github.com>
Co-authored-by: Paul VEZIA <166131032+le-codeur-rapide@users.noreply.github.com>
Co-authored-by: Peter Evers <peter.evers@mistral.ai>
Co-authored-by: Jules YZERD <newtonlormont@gmail.com>
Co-authored-by: Mistral Vibe <vibe@mistral.ai>
This commit is contained in:
Mathias Gesbert 2026-06-30 15:03:21 +02:00 committed by GitHub
parent d50704e694
commit 4e495f658d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
130 changed files with 1042 additions and 552 deletions

View file

@ -40,6 +40,7 @@
.terminal-r6 { fill: #292929;font-weight: bold }
.terminal-r7 { fill: #cc555a }
.terminal-r8 { fill: #608ab1;font-weight: bold }
.terminal-r9 { fill: #6b753d;font-weight: bold }
</style>
<defs>
@ -196,7 +197,7 @@
</text><text class="terminal-r1" x="0" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r8" x="24.4" y="752" textLength="475.8" clip-path="url(#terminal-line-30)">&#160;1.&#160;Edit&#160;&amp;&#160;restore&#160;files&#160;to&#160;this&#160;point</text><text class="terminal-r1" x="1451.8" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r1" x="1464" y="752" textLength="12.2" clip-path="url(#terminal-line-30)">
</text><text class="terminal-r1" x="0" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="24.4" y="776.4" textLength="402.6" clip-path="url(#terminal-line-31)">&#160;&#160;2.&#160;Edit&#160;without&#160;restoring&#160;files</text><text class="terminal-r1" x="1451.8" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="1464" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)">
</text><text class="terminal-r1" x="0" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1451.8" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1464" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r5" x="24.4" y="825.2" textLength="976" clip-path="url(#terminal-line-33)">Alt+↑↓&#160;or&#160;Ctrl+P/N&#160;browse&#160;messages&#160;&#160;↑↓/jk&#160;pick&#160;option&#160;&#160;Enter&#160;confirm&#160;&#160;ESC&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r9" x="24.4" y="825.2" textLength="73.2" clip-path="url(#terminal-line-33)">Alt+↑↓</text><text class="terminal-r5" x="97.6" y="825.2" textLength="48.8" clip-path="url(#terminal-line-33)">&#160;or&#160;</text><text class="terminal-r9" x="146.4" y="825.2" textLength="97.6" clip-path="url(#terminal-line-33)">Ctrl+P/N</text><text class="terminal-r5" x="244" y="825.2" textLength="219.6" clip-path="url(#terminal-line-33)">&#160;browse&#160;messages&#160;&#160;</text><text class="terminal-r9" x="463.6" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">↑↓/jk</text><text class="terminal-r5" x="524.6" y="825.2" textLength="170.8" clip-path="url(#terminal-line-33)">&#160;pick&#160;option&#160;&#160;</text><text class="terminal-r9" x="695.4" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">Enter</text><text class="terminal-r5" x="756.4" y="825.2" textLength="122" clip-path="url(#terminal-line-33)">&#160;confirm&#160;&#160;</text><text class="terminal-r9" x="878.4" y="825.2" textLength="36.6" clip-path="url(#terminal-line-33)">Esc</text><text class="terminal-r5" x="915" y="825.2" textLength="85.4" clip-path="url(#terminal-line-33)">&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="849.6" textLength="1464" clip-path="url(#terminal-line-34)">└──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘</text><text class="terminal-r1" x="1464" y="849.6" textLength="12.2" clip-path="url(#terminal-line-34)">
</text><text class="terminal-r5" x="0" y="874" textLength="158.6" clip-path="url(#terminal-line-35)">/test/workdir</text><text class="terminal-r5" x="1232.2" y="874" textLength="231.8" clip-path="url(#terminal-line-35)">15/200k&#160;tokens&#160;(0%)</text>
</g>

Before

Width:  |  Height:  |  Size: 17 KiB

After

Width:  |  Height:  |  Size: 18 KiB

Before After
Before After

View file

@ -39,6 +39,7 @@
.terminal-r5 { fill: #868887 }
.terminal-r6 { fill: #292929;font-weight: bold }
.terminal-r7 { fill: #608ab1;font-weight: bold }
.terminal-r8 { fill: #6b753d;font-weight: bold }
</style>
<defs>
@ -195,7 +196,7 @@
</text><text class="terminal-r1" x="0" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r7" x="24.4" y="752" textLength="475.8" clip-path="url(#terminal-line-30)">&#160;1.&#160;Edit&#160;&amp;&#160;restore&#160;files&#160;to&#160;this&#160;point</text><text class="terminal-r1" x="1451.8" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r1" x="1464" y="752" textLength="12.2" clip-path="url(#terminal-line-30)">
</text><text class="terminal-r1" x="0" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="24.4" y="776.4" textLength="402.6" clip-path="url(#terminal-line-31)">&#160;&#160;2.&#160;Edit&#160;without&#160;restoring&#160;files</text><text class="terminal-r1" x="1451.8" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="1464" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)">
</text><text class="terminal-r1" x="0" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1451.8" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1464" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r5" x="24.4" y="825.2" textLength="976" clip-path="url(#terminal-line-33)">Alt+↑↓&#160;or&#160;Ctrl+P/N&#160;browse&#160;messages&#160;&#160;↑↓/jk&#160;pick&#160;option&#160;&#160;Enter&#160;confirm&#160;&#160;ESC&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r8" x="24.4" y="825.2" textLength="73.2" clip-path="url(#terminal-line-33)">Alt+↑↓</text><text class="terminal-r5" x="97.6" y="825.2" textLength="48.8" clip-path="url(#terminal-line-33)">&#160;or&#160;</text><text class="terminal-r8" x="146.4" y="825.2" textLength="97.6" clip-path="url(#terminal-line-33)">Ctrl+P/N</text><text class="terminal-r5" x="244" y="825.2" textLength="219.6" clip-path="url(#terminal-line-33)">&#160;browse&#160;messages&#160;&#160;</text><text class="terminal-r8" x="463.6" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">↑↓/jk</text><text class="terminal-r5" x="524.6" y="825.2" textLength="170.8" clip-path="url(#terminal-line-33)">&#160;pick&#160;option&#160;&#160;</text><text class="terminal-r8" x="695.4" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">Enter</text><text class="terminal-r5" x="756.4" y="825.2" textLength="122" clip-path="url(#terminal-line-33)">&#160;confirm&#160;&#160;</text><text class="terminal-r8" x="878.4" y="825.2" textLength="36.6" clip-path="url(#terminal-line-33)">Esc</text><text class="terminal-r5" x="915" y="825.2" textLength="85.4" clip-path="url(#terminal-line-33)">&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="849.6" textLength="1464" clip-path="url(#terminal-line-34)">└──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘</text><text class="terminal-r1" x="1464" y="849.6" textLength="12.2" clip-path="url(#terminal-line-34)">
</text><text class="terminal-r5" x="0" y="874" textLength="158.6" clip-path="url(#terminal-line-35)">/test/workdir</text><text class="terminal-r5" x="1232.2" y="874" textLength="231.8" clip-path="url(#terminal-line-35)">15/200k&#160;tokens&#160;(0%)</text>
</g>

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 17 KiB

Before After
Before After

View file

@ -39,6 +39,7 @@
.terminal-r5 { fill: #868887 }
.terminal-r6 { fill: #292929;font-weight: bold }
.terminal-r7 { fill: #608ab1;font-weight: bold }
.terminal-r8 { fill: #6b753d;font-weight: bold }
</style>
<defs>
@ -195,7 +196,7 @@
</text><text class="terminal-r1" x="0" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r7" x="24.4" y="752" textLength="475.8" clip-path="url(#terminal-line-30)">&#160;1.&#160;Edit&#160;&amp;&#160;restore&#160;files&#160;to&#160;this&#160;point</text><text class="terminal-r1" x="1451.8" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r1" x="1464" y="752" textLength="12.2" clip-path="url(#terminal-line-30)">
</text><text class="terminal-r1" x="0" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="24.4" y="776.4" textLength="402.6" clip-path="url(#terminal-line-31)">&#160;&#160;2.&#160;Edit&#160;without&#160;restoring&#160;files</text><text class="terminal-r1" x="1451.8" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="1464" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)">
</text><text class="terminal-r1" x="0" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1451.8" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1464" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r5" x="24.4" y="825.2" textLength="976" clip-path="url(#terminal-line-33)">Alt+↑↓&#160;or&#160;Ctrl+P/N&#160;browse&#160;messages&#160;&#160;↑↓/jk&#160;pick&#160;option&#160;&#160;Enter&#160;confirm&#160;&#160;ESC&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r8" x="24.4" y="825.2" textLength="73.2" clip-path="url(#terminal-line-33)">Alt+↑↓</text><text class="terminal-r5" x="97.6" y="825.2" textLength="48.8" clip-path="url(#terminal-line-33)">&#160;or&#160;</text><text class="terminal-r8" x="146.4" y="825.2" textLength="97.6" clip-path="url(#terminal-line-33)">Ctrl+P/N</text><text class="terminal-r5" x="244" y="825.2" textLength="219.6" clip-path="url(#terminal-line-33)">&#160;browse&#160;messages&#160;&#160;</text><text class="terminal-r8" x="463.6" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">↑↓/jk</text><text class="terminal-r5" x="524.6" y="825.2" textLength="170.8" clip-path="url(#terminal-line-33)">&#160;pick&#160;option&#160;&#160;</text><text class="terminal-r8" x="695.4" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">Enter</text><text class="terminal-r5" x="756.4" y="825.2" textLength="122" clip-path="url(#terminal-line-33)">&#160;confirm&#160;&#160;</text><text class="terminal-r8" x="878.4" y="825.2" textLength="36.6" clip-path="url(#terminal-line-33)">Esc</text><text class="terminal-r5" x="915" y="825.2" textLength="85.4" clip-path="url(#terminal-line-33)">&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="849.6" textLength="1464" clip-path="url(#terminal-line-34)">└──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘</text><text class="terminal-r1" x="1464" y="849.6" textLength="12.2" clip-path="url(#terminal-line-34)">
</text><text class="terminal-r5" x="0" y="874" textLength="158.6" clip-path="url(#terminal-line-35)">/test/workdir</text><text class="terminal-r5" x="1232.2" y="874" textLength="231.8" clip-path="url(#terminal-line-35)">15/200k&#160;tokens&#160;(0%)</text>
</g>

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 17 KiB

Before After
Before After

View file

@ -39,6 +39,7 @@
.terminal-r5 { fill: #868887 }
.terminal-r6 { fill: #292929;font-weight: bold }
.terminal-r7 { fill: #608ab1;font-weight: bold }
.terminal-r8 { fill: #6b753d;font-weight: bold }
</style>
<defs>
@ -195,7 +196,7 @@
</text><text class="terminal-r1" x="0" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r7" x="24.4" y="752" textLength="475.8" clip-path="url(#terminal-line-30)">&#160;1.&#160;Edit&#160;&amp;&#160;restore&#160;files&#160;to&#160;this&#160;point</text><text class="terminal-r1" x="1451.8" y="752" textLength="12.2" clip-path="url(#terminal-line-30)"></text><text class="terminal-r1" x="1464" y="752" textLength="12.2" clip-path="url(#terminal-line-30)">
</text><text class="terminal-r1" x="0" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="24.4" y="776.4" textLength="402.6" clip-path="url(#terminal-line-31)">&#160;&#160;2.&#160;Edit&#160;without&#160;restoring&#160;files</text><text class="terminal-r1" x="1451.8" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)"></text><text class="terminal-r1" x="1464" y="776.4" textLength="12.2" clip-path="url(#terminal-line-31)">
</text><text class="terminal-r1" x="0" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1451.8" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)"></text><text class="terminal-r1" x="1464" y="800.8" textLength="12.2" clip-path="url(#terminal-line-32)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r5" x="24.4" y="825.2" textLength="976" clip-path="url(#terminal-line-33)">Alt+↑↓&#160;or&#160;Ctrl+P/N&#160;browse&#160;messages&#160;&#160;↑↓/jk&#160;pick&#160;option&#160;&#160;Enter&#160;confirm&#160;&#160;ESC&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r8" x="24.4" y="825.2" textLength="73.2" clip-path="url(#terminal-line-33)">Alt+↑↓</text><text class="terminal-r5" x="97.6" y="825.2" textLength="48.8" clip-path="url(#terminal-line-33)">&#160;or&#160;</text><text class="terminal-r8" x="146.4" y="825.2" textLength="97.6" clip-path="url(#terminal-line-33)">Ctrl+P/N</text><text class="terminal-r5" x="244" y="825.2" textLength="219.6" clip-path="url(#terminal-line-33)">&#160;browse&#160;messages&#160;&#160;</text><text class="terminal-r8" x="463.6" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">↑↓/jk</text><text class="terminal-r5" x="524.6" y="825.2" textLength="170.8" clip-path="url(#terminal-line-33)">&#160;pick&#160;option&#160;&#160;</text><text class="terminal-r8" x="695.4" y="825.2" textLength="61" clip-path="url(#terminal-line-33)">Enter</text><text class="terminal-r5" x="756.4" y="825.2" textLength="122" clip-path="url(#terminal-line-33)">&#160;confirm&#160;&#160;</text><text class="terminal-r8" x="878.4" y="825.2" textLength="36.6" clip-path="url(#terminal-line-33)">Esc</text><text class="terminal-r5" x="915" y="825.2" textLength="85.4" clip-path="url(#terminal-line-33)">&#160;cancel</text><text class="terminal-r1" x="1451.8" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)"></text><text class="terminal-r1" x="1464" y="825.2" textLength="12.2" clip-path="url(#terminal-line-33)">
</text><text class="terminal-r1" x="0" y="849.6" textLength="1464" clip-path="url(#terminal-line-34)">└──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘</text><text class="terminal-r1" x="1464" y="849.6" textLength="12.2" clip-path="url(#terminal-line-34)">
</text><text class="terminal-r5" x="0" y="874" textLength="158.6" clip-path="url(#terminal-line-35)">/test/workdir</text><text class="terminal-r5" x="1232.2" y="874" textLength="231.8" clip-path="url(#terminal-line-35)">15/200k&#160;tokens&#160;(0%)</text>
</g>

Before

Width:  |  Height:  |  Size: 16 KiB

After

Width:  |  Height:  |  Size: 17 KiB

Before After
Before After