z3javascript/.eslintrc.json at master · ExpoSEJS/z3javascript · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{

    "env": {
        "node": true,
        "es6": true,
        "commonjs": true
    },

    "extends": "eslint:recommended",

    "parserOptions": {
        "ecmaVersion": 6,
        "sourceType": "module"
    },

    "rules": {

        "indent": [
            "error",
            "tab"
        ],

        "linebreak-style": [
            "error",
            "unix"
        ],

        "no-useless-escape": [
            "warn"
        ],

        "quotes": [
            "warn",
            "double"
        ],

        "semi": [
            "error",
            "always"
        ],

        "strict": [
            "error",
            "safe"
        ],

        "no-unused-vars": [2, {"args": "after-used", "argsIgnorePattern": "^_"}],

        "no-console":"off"
    }
}