Download src/tools/GoalGetTool/UI.tsx from chenbhao/codev: direct link, hf CLI and curl.
- Browser
- Download file 790 Bytes
-
https://huggingface.co/chenbhao/codev/resolve/afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalGetTool/UI.tsx
- Command line
-
hf download hf://chenbhao/codev@afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalGetTool/UI.tsx
-
curl -L -o UI.tsx https://huggingface.co/chenbhao/codev/resolve/afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalGetTool/UI.tsx
790 Bytes
| import React from 'react' | |
| import { MessageResponse } from '../../components/MessageResponse.js' | |
| import { Text } from '../../ink.js' | |
| import type { Output } from './GoalGetTool.js' | |
| export function renderToolUseMessage(): React.ReactNode { | |
| return <Text dimColor>getting current goal...</Text> | |
| } | |
| export function renderToolResultMessage(output: Output): React.ReactNode { | |
| if (!output.goal) { | |
| return ( | |
| <MessageResponse> | |
| <Text dimColor>No active goal.</Text> | |
| </MessageResponse> | |
| ) | |
| } | |
| const g = output.goal | |
| return ( | |
| <MessageResponse> | |
| <Text> | |
| Goal: {g.objective}{'\n'} | |
| Status: {g.status}{'\n'} | |
| Elapsed: {g.elapsed_formatted} | |
| {'\n'} | |
| Continuations: {g.continuation_count} | |
| </Text> | |
| </MessageResponse> | |
| ) | |
| } |