Jannis/BoredOS
1
0
Fork 0
mirror of https://github.com/JannisHeydemann/BoredOS.git synced 2026-05-30 02:16:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

LwIP

Browse Source
This commit is contained in:
boreddevnl
2026-03-02 12:12:23 +01:00
parent 01345ba2b6
commit 659feee6f7
283 changed files with 106098 additions and 971 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
src/kernel/cmd.c
View File

@@ -585,23 +585,27 @@ void cmd_putchar(char c) {
wm_mark_dirty(win_cmd.x, win_cmd.y, win_cmd.w, win_cmd.h);
}
void cmd_write_len(const char *str, size_t len);
// Public for CLI apps to use
void cmd_write(const char *str) {
// If pipe capture mode is enabled, write to pipe buffer
if (!str) return;
cmd_write_len(str, cmd_strlen(str));
}
void cmd_write_len(const char *str, size_t len) {
if (pipe_capture_mode) {
while (*str && pipe_buffer_pos < (int)sizeof(pipe_buffer) - 1) {
pipe_buffer[pipe_buffer_pos++] = *str++;
for (size_t i = 0; i < len && pipe_buffer_pos < (int)sizeof(pipe_buffer) - 1; i++) {
pipe_buffer[pipe_buffer_pos++] = str[i];
}
return;
}
// If output is being redirected to a file, write there instead
if (redirect_file && redirect_mode) {
fat32_write(redirect_file, (void *)str, cmd_strlen(str));
fat32_write(redirect_file, (void *)str, len);
} else {
// Normal output to screen
while (*str) {
cmd_putchar(*str++);
for (size_t i = 0; i < len; i++) {
cmd_putchar(str[i]);
}
}
}