mirror of
https://github.com/bootandy/dust.git
synced 2026-06-08 11:29:05 +03:00
[PR #133] [CLOSED] Compile and "function" under wasi #325
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/133
Author: @jcaesar
Created: 1/18/2021
Status: ❌ Closed
Base:
master← Head:wasi📝 Commits (2)
3ec1d4aCompile and "function" under wasidbc0c2eShut up clippy📊 Changes
6 files changed (+188 additions, -69 deletions)
View changed files
📝
Cargo.lock(+46 -4)📝
Cargo.toml(+6 -2)➕
build.rs(+9 -0)📝
src/main.rs(+2 -0)📝
src/utils/mod.rs(+113 -63)📝
src/utils/platform.rs(+12 -0)📄 Description
Sorry for the noise: This is a PR I expect you not to merge, but to close.
Reasons being
/ unmergedchanges to lscolorsand terminal-sizeutilto function in an environment without threads, without slowing down all other "proper" platforms, requires somewhat nasty code changesThe reasons I'm still making this PR are that
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.