this post was submitted on 14 Sep 2024
697 points (97.4% liked)

Linux

48287 readers
647 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] lseif@sopuli.xyz 2 points 2 months ago (3 children)
[–] simonced@lemmy.one 16 points 2 months ago

So I have to use the same width as you? What if I want 3 spaces for a tab?

[–] mexicancartel@lemmy.dbzer0.com 6 points 2 months ago

That makes it worse imo

[–] LodeMike@lemmy.today 4 points 2 months ago* (last edited 2 months ago) (1 children)

I use tabs for indentation then spaces after that if I need to offset a line by a specific amount of chars, such as a multi-line output or something.

Edit: to be specific: https://pastebin.com/un6iUmEp . Notice how line 3 has one tab, then several spaces before the first non-whitespace character.

[–] SilverCode@lemm.ee 9 points 2 months ago* (last edited 2 months ago) (2 children)

I like to use asterisk spacing.

void main() {
/****/for (int i=0; i <10; ++I) {
/********/printf("hello world\n");
/********/printf("%d\n", i);
/****/}
}
[–] Grimpen@lemmy.ca 3 points 2 months ago

Respect. Only through destruction can we be purified.

[–] LodeMike@lemmy.today 0 points 2 months ago* (last edited 2 months ago)

That's spaces but worse? Why do you do this?