Skip to content

Remove BlueJ.json and jEdit.json#353

Merged
anderlli0053 merged 1 commit into
anderlli0053:masterfrom
sonbua:master
Dec 22, 2025
Merged

Remove BlueJ.json and jEdit.json#353
anderlli0053 merged 1 commit into
anderlli0053:masterfrom
sonbua:master

Conversation

@sonbua

@sonbua sonbua commented Dec 22, 2025

Copy link
Copy Markdown
Contributor

bluej.json and jedit.json also exist. When adding this bucket to Scoop, they collide and yield warning.

Checking repo... warning: the following paths have collided (e.g. case-sensitive paths
on a case-insensitive filesystem) and only one from the same
colliding group is in the working tree:

  'bucket/BlueJ.json'
  'bucket/bluej.json'
  'bucket/jEdit.json'
  'bucket/jedit.json'

Remove the (seemingly) outdated ones.

`bluej.json` and `jedit.json` also exist. When adding this bucket to Scoop, they collide and yield warning.

Remove the outdated ones.
@anderlli0053 anderlli0053 merged commit 4ae6870 into anderlli0053:master Dec 22, 2025
1 of 4 checks passed
@anderlli0053

Copy link
Copy Markdown
Owner

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants