Disable tlmgr in linux (fix #384) (#389)

2020-04-03 12:19:55 +03:00
parent f103f595fd
commit b8496064ec
3 changed files with 4 additions and 1 deletions
--- a/src/error.rs
+++ b/src/error.rs
@@ -7,6 +7,7 @@ pub enum TopgradeError {
    ProcessFailed(ExitStatus),

    #[error("Sudo is required for this step")]
+    #[allow(dead_code)]
    SudoRequired,

    #[error("Unknown Linux Distribution")]