mirror of
https://github.com/bootandy/dust.git
synced 2026-06-08 11:29:05 +03:00
[PR #1] [MERGED] Minor cleanup, prettier output #247
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/bootandy/dust/pull/1
Author: @nebkor
Created: 3/21/2018
Status: ✅ Merged
Merged: 3/21/2018
Merged by: @bootandy
Base:
master← Head:master📝 Commits (4)
b4c6c68minor whitespace changes from rustfmtf802d7aquiet some clippy warnings1c80cbfMake printing slightly prettier99f462fs/sibblings/siblings/g📊 Changes
1 file changed (+34 additions, -17 deletions)
View changed files
📝
src/main.rs(+34 -17)📄 Description
This is a really great little tool! I noticed some compiler warnings when I built it locally, and I thought the box construction characters could be slightly fancier, so there you go. I split the changes into several commits, and the only one that changes behavior is the last one,
1c80cbf, "Make printing slightly prettier." I'm not sure this PR is worth merging, just FYI. Also, I might change it a little more aggressively, like factor it into a lib crate and a bin crate, and possibly try to speed it up.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.