mirror of
https://github.com/nushell/nushell.git
synced 2025-04-09 21:28:55 +02:00
# Description Close: #10278 This pr introduces `o>>`, `e>>`, `o+e>>` to allow redirection to append to a file. Examples: ```nushell echo abc o>> a.txt echo abc o>> a.txt cat asdf e>> a.txt cat asdf e>> a.txt cat asdf o+e>> a.txt ``` ~~TODO:~~ ~~1. currently internal commands with `o+e>` redirect to a variable is broken: `let x = "a.txt"; echo abc o+e> $x`, not sure when it was introduced...~~ ~~2. redirect stdout and stderr with append mode doesn't supported yet: `cat asdf o>>a.txt e>>b.ext`~~ ~~For these 2 items, I'd like to fix them in different prs.~~ Already done in this pr
188 lines
5.9 KiB
Rust
188 lines
5.9 KiB
Rust
use crate::{ast::Expression, engine::StateWorkingSet, Span, VarId};
|
|
use serde::{Deserialize, Serialize};
|
|
use std::ops::{Index, IndexMut};
|
|
|
|
#[derive(Debug, Clone, Serialize, Deserialize, Eq, PartialEq)]
|
|
pub enum Redirection {
|
|
Stdout,
|
|
Stderr,
|
|
StdoutAndStderr,
|
|
}
|
|
|
|
// Note: Span in the below is for the span of the connector not the whole element
|
|
#[derive(Debug, Clone, Serialize, Deserialize)]
|
|
pub enum PipelineElement {
|
|
Expression(Option<Span>, Expression),
|
|
// final field indicates if it's in append mode
|
|
Redirection(Span, Redirection, Expression, bool),
|
|
// final bool field indicates if it's in append mode
|
|
SeparateRedirection {
|
|
out: (Span, Expression, bool),
|
|
err: (Span, Expression, bool),
|
|
},
|
|
// redirection's final bool field indicates if it's in append mode
|
|
SameTargetRedirection {
|
|
cmd: (Option<Span>, Expression),
|
|
redirection: (Span, Expression, bool),
|
|
},
|
|
And(Span, Expression),
|
|
Or(Span, Expression),
|
|
}
|
|
|
|
impl PipelineElement {
|
|
pub fn expression(&self) -> &Expression {
|
|
match self {
|
|
PipelineElement::Expression(_, expression) => expression,
|
|
PipelineElement::Redirection(_, _, expression, _) => expression,
|
|
PipelineElement::SeparateRedirection {
|
|
out: (_, expression, _),
|
|
..
|
|
} => expression,
|
|
PipelineElement::SameTargetRedirection {
|
|
cmd: (_, expression),
|
|
..
|
|
} => expression,
|
|
PipelineElement::And(_, expression) => expression,
|
|
PipelineElement::Or(_, expression) => expression,
|
|
}
|
|
}
|
|
|
|
pub fn span(&self) -> Span {
|
|
match self {
|
|
PipelineElement::Expression(None, expression)
|
|
| PipelineElement::SameTargetRedirection {
|
|
cmd: (None, expression),
|
|
..
|
|
} => expression.span,
|
|
PipelineElement::Expression(Some(span), expression)
|
|
| PipelineElement::Redirection(span, _, expression, _)
|
|
| PipelineElement::SeparateRedirection {
|
|
out: (span, expression, _),
|
|
..
|
|
}
|
|
| PipelineElement::And(span, expression)
|
|
| PipelineElement::Or(span, expression)
|
|
| PipelineElement::SameTargetRedirection {
|
|
cmd: (Some(span), expression),
|
|
..
|
|
} => Span {
|
|
start: span.start,
|
|
end: expression.span.end,
|
|
},
|
|
}
|
|
}
|
|
pub fn has_in_variable(&self, working_set: &StateWorkingSet) -> bool {
|
|
match self {
|
|
PipelineElement::Expression(_, expression)
|
|
| PipelineElement::Redirection(_, _, expression, _)
|
|
| PipelineElement::And(_, expression)
|
|
| PipelineElement::Or(_, expression)
|
|
| PipelineElement::SameTargetRedirection {
|
|
cmd: (_, expression),
|
|
..
|
|
} => expression.has_in_variable(working_set),
|
|
PipelineElement::SeparateRedirection {
|
|
out: (_, out_expr, _),
|
|
err: (_, err_expr, _),
|
|
} => out_expr.has_in_variable(working_set) || err_expr.has_in_variable(working_set),
|
|
}
|
|
}
|
|
|
|
pub fn replace_in_variable(&mut self, working_set: &mut StateWorkingSet, new_var_id: VarId) {
|
|
match self {
|
|
PipelineElement::Expression(_, expression)
|
|
| PipelineElement::Redirection(_, _, expression, _)
|
|
| PipelineElement::And(_, expression)
|
|
| PipelineElement::Or(_, expression)
|
|
| PipelineElement::SameTargetRedirection {
|
|
cmd: (_, expression),
|
|
..
|
|
} => expression.replace_in_variable(working_set, new_var_id),
|
|
PipelineElement::SeparateRedirection {
|
|
out: (_, out_expr, _),
|
|
err: (_, err_expr, _),
|
|
} => {
|
|
if out_expr.has_in_variable(working_set) {
|
|
out_expr.replace_in_variable(working_set, new_var_id)
|
|
}
|
|
if err_expr.has_in_variable(working_set) {
|
|
err_expr.replace_in_variable(working_set, new_var_id)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
pub fn replace_span(
|
|
&mut self,
|
|
working_set: &mut StateWorkingSet,
|
|
replaced: Span,
|
|
new_span: Span,
|
|
) {
|
|
match self {
|
|
PipelineElement::Expression(_, expression)
|
|
| PipelineElement::Redirection(_, _, expression, _)
|
|
| PipelineElement::And(_, expression)
|
|
| PipelineElement::Or(_, expression)
|
|
| PipelineElement::SameTargetRedirection {
|
|
cmd: (_, expression),
|
|
..
|
|
}
|
|
| PipelineElement::SeparateRedirection {
|
|
out: (_, expression, _),
|
|
..
|
|
} => expression.replace_span(working_set, replaced, new_span),
|
|
}
|
|
}
|
|
}
|
|
|
|
#[derive(Debug, Clone, Serialize, Deserialize)]
|
|
pub struct Pipeline {
|
|
pub elements: Vec<PipelineElement>,
|
|
}
|
|
|
|
impl Default for Pipeline {
|
|
fn default() -> Self {
|
|
Self::new()
|
|
}
|
|
}
|
|
|
|
impl Pipeline {
|
|
pub fn new() -> Self {
|
|
Self { elements: vec![] }
|
|
}
|
|
|
|
pub fn from_vec(expressions: Vec<Expression>) -> Pipeline {
|
|
Self {
|
|
elements: expressions
|
|
.into_iter()
|
|
.enumerate()
|
|
.map(|(idx, x)| {
|
|
PipelineElement::Expression(if idx == 0 { None } else { Some(x.span) }, x)
|
|
})
|
|
.collect(),
|
|
}
|
|
}
|
|
|
|
pub fn len(&self) -> usize {
|
|
self.elements.len()
|
|
}
|
|
|
|
pub fn is_empty(&self) -> bool {
|
|
self.elements.is_empty()
|
|
}
|
|
}
|
|
|
|
impl Index<usize> for Pipeline {
|
|
type Output = PipelineElement;
|
|
|
|
fn index(&self, index: usize) -> &Self::Output {
|
|
&self.elements[index]
|
|
}
|
|
}
|
|
|
|
impl IndexMut<usize> for Pipeline {
|
|
fn index_mut(&mut self, index: usize) -> &mut Self::Output {
|
|
&mut self.elements[index]
|
|
}
|
|
}
|