Changeset a64d0bc in mainline for uspace/app/bdsh/tok.c

Timestamp:

2025-01-25T23:01:22Z (10 days ago)

Author:

GitHub <noreply@…>

Parents:

eff458d (diff), 12f5a1be (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Manuele Conti <conti.manuele@…> (2025-01-25 23:01:22)

git-committer:

GitHub <noreply@…> (2025-01-25 23:01:22)

Message:

Merge 12f5a1be9347ae8a4c87b277c612c58c71f5f5fc into eff458dc0610e2e236a23436d7688091d3843237

File:

• uspace/app/bdsh/tok.c (modified) (1 diff)

uspace/app/bdsh/tok.c

@@ -138 +138 @@
                                 return rc;
                         }
-                } else if (next_char == '\'') {
+                } else if (next_char == '<') {
+                        if (tok_pending_chars(tok)) {
+                                rc = tok_push_token(tok);
+                                if (rc != EOK) {
+                                        return rc;
+                                }
+                        }
+
+                        tok_start_token(tok, TOKTYPE_RDIN);
+
+                        rc = tok_push_char(tok, tok_get_char(tok));
+                        if (rc != EOK) {
+                                return rc;
+                        }
+
+                        rc = tok_push_token(tok);
+                        if (rc != EOK) {
+                                return rc;
+                        }
+                } else if (next_char == '>') {
+                        if (tok_pending_chars(tok)) {
+                                rc = tok_push_token(tok);
+                                if (rc != EOK) {
+                                        return rc;
+                                }
+                        }
+
+                        tok_start_token(tok, TOKTYPE_RDOU);
+
+                        rc = tok_push_char(tok, tok_get_char(tok));
+                        if (rc != EOK) {
+                                return rc;
+                        }
+
+                        rc = tok_push_token(tok);
+                        if (rc != EOK) {
+                                return rc;
+                        }
+                }  else if (next_char == '\'') {
                         /*
                          * A string starts with a quote (') and ends again with a quote.