profile
viewpoint

aya-prover/aya-prover-proto 11

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

smallfont00/PixivFanboxDownloader 0

A Chrome extension for downloading files on Pixiv Fanbox in batches. Chrome 扩展,用于批量下载 Pixiv Fanbox 上的文件。

smallfont00/sauron 0

A DrRacket plugin to make it experience like an IDE

PullRequestReviewEvent

issue commentnixin72/from-template

From-template failing on Windows & Linux

@spdegabrielle Sure. It works. https://github.com/nixin72/from-template/pull/14#issuecomment-966959085

spdegabrielle

comment created time in 2 months

pull request commentnixin72/from-template

change linux to use define-runtime-path

it works. image

spdegabrielle

comment created time in 2 months

pull request commentnixin72/from-template

change linux to use define-runtime-path

image it works.

spdegabrielle

comment created time in 2 months

issue commentracket-tw/sauron

ffi-lib: could not load foreign library path: libedit-3.dll

I don't think this is our problem @dannypsnl . I have tested pkg "from-template" alone and the same error happens. image Have you guys tested "from-template" on Linux? The path of "from-template.sh" can't be resolved in my Ubuntu. I have changed the source of "from-template" and found out define-runtime-path is necessarily for my Ubuntu.

spdegabrielle

comment created time in 2 months

issue commentracket-tw/sauron

ffi-lib: could not load foreign library path: libedit-3.dll

Interesting, but I didn't have Windows. @smallfont00 Can you help?

Sure. but I am not free today so maybe tomorrow...😢

spdegabrielle

comment created time in 2 months

more