parent
a316428686
commit
0f17e82154
28 changed files with 33 additions and 45 deletions
|
@ -24,7 +24,7 @@ pub struct Terminals {
|
|||
}
|
||||
|
||||
/// Terminals are opened either for the users shell, or to run a task.
|
||||
#[allow(clippy::large_enum_variant)]
|
||||
|
||||
#[derive(Debug)]
|
||||
pub enum TerminalKind {
|
||||
/// Run a shell at the given path (or $HOME if None)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue