Annotate

.editorconfig @ 12578:10bb58ad5583

executables: Reject Lua 5.1 early Prevents attempting to load libraries that may no longer be found and crashing with a traceback. Platforms like Debian where multiple Lua versions can be installed at the same time and 'lua' pointing to one of the installed interpreters via symlinks, there's the possibility that prosody/prosodyctl may be invoked with Lua 5.1, which will no longer have any of the rest of Prosody libraries available to be require(), and thus would immediately fail with an unfriendly traceback. Checking and aborting early with a friendlier message and reference to more information is better. Part of #1600
author Kim Alvefur <zash@zash.se>
date Sat, 02 Jul 2022 17:27:39 +0200
parent 11706:56feb0cf7052
child 13191:1266efb7101c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
11706
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 root = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3 [*]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4 end_of_line = lf
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
5 indent_style = tab
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
6 insert_final_newline = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
7 trim_trailing_whitespace = true
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
8
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
9 [CHANGES]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
10 indent_size = 4
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
11 indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
12
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
13 [configure]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
14 indent_size = 3
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
15 indent_style = space
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
16
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
17 [**.xml]
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
18 indent_size = 2
56feb0cf7052 editorconfig: We use tabs
Kim Alvefur <zash@zash.se>
parents:
diff changeset
19 indent_style = space