mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-27 12:54:42 +00:00
parent
49f378ead3
commit
1442fcb497
2 changed files with 3 additions and 2 deletions
|
@ -1,7 +1,7 @@
|
|||
#!/usr/bin/bash -e
|
||||
|
||||
# if sudo is not installed, define an empty alias
|
||||
maysudo=$(command -v sudo || true)
|
||||
maysudo=$(command -v sudo || command -v doas || true)
|
||||
|
||||
# Ubuntu, Debian, etc.
|
||||
# https://packages.ubuntu.com/
|
||||
|
|
|
@ -26,6 +26,7 @@ extend-ignore-re = [
|
|||
"COLUMN enviroment",
|
||||
# Typo in ClickHouse column name.
|
||||
# crates/collab/src/api/events.rs
|
||||
"rename = \"sesssion_id\""
|
||||
"rename = \"sesssion_id\"",
|
||||
"doas",
|
||||
]
|
||||
check-filename = true
|
||||
|
|
Loading…
Reference in a new issue