package.json

{
  "name": "gnome-shell-extension-rounded-corners-effect",
  "version": "v1",
  "description": "A gnome-shell extensions that try to add rounded corners for all windows",
  "author": "Luo Yi <langisme@qq.com>",
  "license": "GPL-3.0-or-later",
  "main": "src/extension.ts",
  "devDependencies": {
    "@gi-types/adw1": "^1.1.1",
    "@gi-types/gtk4": "^4.6.1",
    "@gi-types/meta10": "^10.0.1",
    "@gi-types/shell0": "^0.1.1",
    "@types/gulp": "^4.0.9",
    "@typescript-eslint/eslint-plugin": "^5.30.4",
    "@typescript-eslint/parser": "^5.30.4",
    "eslint": "^8.19.0",
    "gettext-extractor": "^3.5.4",
    "gulp": "4",
    "gulp-cli": "^2.3.0",
    "gulp-eslint-new": "^1.5.1",
    "gulp-fill-pot-po": "^2.0.2",
    "gulp-preserve-typescript-whitespace": "^1.0.3",
    "gulp-prettier": "^4.0.0",
    "gulp-rename": "^2.0.0",
    "gulp-typescript": "^6.0.0-alpha.1",
    "typescript": "^4.7.4"
  },
  "scripts": {
    "gi": "gulp gi",
    "build": "gulp build",
    "watch": "gulp watch",
    "dev": "gulp dev",
    "vm": "gulp vm",
    "po": "gulp po",
    "ext:install": "gulp install",
    "ext:pack": "gulp pack",
    "github_action": "gulp github_action"
  }
}