Print default remote if set but not registered in the database

dblsaiko

Mar 27, 2024, 4:38 PM

EEF5WHUIPNJAD3OQ7XOY4VSDOMRSPMLZ7EWGDRMADGGAY2YYB6OQC

Dependencies

• [2] QCPIBC6M Make the default remote configurable through the cli
• [3] OWJL5HO7 Allow deleting remote by URL and remove default remote if set to deleted remote
• [4] CCLLB7OI Upgrading to Sanakirja 0.15 + version bump
• [5] EUZFFJSO Updating Pijul with the latest changes in Libpijul
• [6] A3RM526Y Integrating identity malleability
• [7] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• edit in pijul/src/commands/pushpull.rs at line 91
  [4.112523]

  [3.1113]
  + let mut printed_default = false;

  +
• replacement in pijul/src/commands/pushpull.rs at line 95
  [4.12956]→[4.6547:6630](∅→∅)
  − writeln!(stdout, " {}: {}", r.id(), r.lock().path.as_str())?;
  [4.12956]

  [4.112628]
  + let lock = r.lock();

  + let mut flag = ' ';

  +

  + if Some(lock.path.as_str()) == repo.config.default_remote.as_deref() {

  + printed_default = true;

  + flag = '*';

  + }

  +

  + writeln!(stdout, "{} {}: {}", flag, r.id(), lock.path.as_str())?;
• edit in pijul/src/commands/pushpull.rs at line 105
  [4.112646]

  [2.436]
  +

  + if !printed_default {

  + if let Some(path) = repo.config.default_remote {

  + writeln!(stdout, "* {:26}: {}", "(none)", path)?;

  + }

  + }