comp.lang.ada
 help / color / mirror / Atom feed
From: "Thomas Løcke" <tl@ada-dk.org>
Subject: Re: Properties
Date: Sun, 05 Dec 2010 00:27:52 +0100
Date: 2010-12-05T00:27:52+01:00	[thread overview]
Message-ID: <4cface78$0$23751$14726298@news.sunsite.dk> (raw)
In-Reply-To: <88c3cb91-132b-4f24-bf0f-92ec7fd934b5@21g2000prv.googlegroups.com>

On 2010-12-04 20:53, Shark8 wrote:
> C-shell ->  irksome.
> Having to migrate between C- and BASH-shells ->  more irksome.
> Sometimes using a different shell is not an option, as policy may
> forbid such 'foreign'/non-approved software.


My point was that one should not expect portability between shells, just
as one does not expect Java to compile using an Ada compiler.

Shells are mere tools. There are several to choose from. Users have
freedom to choose which of these they use, and which they ignore.

And if policy forbids using a specific shell, then that's no different
than a "no Ada" policy, which obviously makes it difficult to compile
an Ada program, but said policy does not detract from Ada as a 
programming language.

You can argue that you don't like the shells available to *nix, but that
is not the fault of *nix itself.


> Why not?
> Isn't the job of the kernel to facilitate the use of the computer's
> resources? If files are considered resources* then checking that they
> are used properly cannot but be a part of the kernel's job.
>
> *The *nix philosophy of "everything is a file" mandates that resources
> (as a part of *everything*) are files.


My view of a kernel is a piece of software that handles processes,
devices and memory. Systems calls are made available via an API of
sorts.

It does not include understanding what an .odf or .xsl file is. Such
associations belong, IMHO, in the chosen environment, be it KDE, BASH,
Fluxbox, XFCE, Gnome or what have you.

But then again, my understanding might be wrong. I will not claim to be
a kernel expert.


> And here I thought the goal of the os was to make the machine usable
> to human-users, not force them to act like machines.


There are excellent help facilities in KDE (and probably also in Gnome),
that extends beyond the man pages. These are easy to navigate using the
familiar point and click interface.

So the fact that there's a "raw" man system at the bottom of the ocean
does not mean that fancier interfaces does not exist closer to the
average computer user.

Personally I like the man system. Others may hate it with a passion, and
luckily they have something like the excellent KDE help system, which
encompasses the entire KDE environment (with pictures and everything)
_and_ a point and click interface to the man pages.

And everything is of course searchable using a simple and familiar
text field.

Also I do not feel like a machine when I'm using the man pages, just as
I don't feel like a machine when I'm using GPS. These are just tools
that help me get a job done, and as with every tool there's a certain
learning curve.


>>> Error codes? In *nix programs may or may not use them... (some
>>> programs return 0/success when errors were encountered) which makes
>>> them less than useless.
>>
>> Hardly the fault of *nix, just as the abundance of horrible software
>> for Windows cannot be blamed on Windows itself.
>
> Actually it is the fault of unix, via C, which mandates that the main
> subprogram return an error-code.


I agree with you that it's not a very good system, but it's still not
the fault of *nix that programmers make programs that return 0/success
when errors are encountered. That behavior is solely the responsibility
of the programmer(s).

No matter what you do, bad programmers will find ways to mess up a
system.


> A better system would be one where programs are run and exceptions are
> thrown on errors (the exception could be handled in-program or
> propagated out). Something, conceptually similar to this:


I agree. That would indeed be a better system.

-- 
Regards,
Thomas L�cke

Email: tl at ada-dk.org
Web: http:ada-dk.org
IRC nick: ThomasLocke



  reply	other threads:[~2010-12-04 23:27 UTC|newest]

Thread overview: 94+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-12-04 19:53 Properties Shark8
2010-12-04 23:27 ` Thomas Løcke [this message]
  -- strict thread matches above, loose matches on Subject: below --
2010-11-28  3:21 Properties Shark8
2010-11-28  8:15 ` Properties Dmitry A. Kazakov
2010-11-28 19:43   ` Properties Shark8
2010-11-29  8:34     ` Properties Dmitry A. Kazakov
2010-12-01 18:15       ` Properties Shark8
2010-11-28 12:37 ` Properties Georg Bauhaus
2010-11-28 21:22   ` Properties Shark8
2010-11-29 16:54     ` Properties Georg Bauhaus
2010-12-01 19:52   ` Properties Martin Krischik
2010-12-01 23:24     ` Properties Georg Bauhaus
2010-12-01 23:31     ` Properties Georg Bauhaus
2010-11-30  1:49 ` Properties Randy Brukardt
2010-11-30 16:58   ` Properties Charmed Snark
2010-11-30 17:22     ` Properties Dmitry A. Kazakov
2010-11-30 20:27       ` Properties Warren
2010-12-01  8:39         ` Properties Dmitry A. Kazakov
2010-12-01 15:21           ` Properties Warren
2010-12-01 15:59             ` Properties Dmitry A. Kazakov
2010-12-01 16:20               ` Properties Warren
2010-12-01 18:22                 ` Properties Dmitry A. Kazakov
2010-12-01 19:36                   ` Properties Shark8
2010-12-01 21:13                     ` Properties Dmitry A. Kazakov
2010-12-01 21:35                   ` Properties Maciej Sobczak
2010-12-01 21:45                     ` Properties Dmitry A. Kazakov
2010-12-02  9:57                       ` Properties Maciej Sobczak
2010-12-02 10:26                         ` Properties Dmitry A. Kazakov
2010-12-02 15:25                           ` Properties Maciej Sobczak
2010-12-02 15:46                             ` Properties Dmitry A. Kazakov
2010-12-02 21:11                               ` Properties Maciej Sobczak
2010-12-02 22:19                                 ` Properties Dmitry A. Kazakov
2010-12-03  4:43                                 ` Properties Randy Brukardt
2010-12-03 13:53                                   ` Properties Maciej Sobczak
2010-12-03 21:32                                     ` Properties Randy Brukardt
2010-12-04 22:13                                       ` Properties Maciej Sobczak
2010-12-06 23:30                                         ` Properties Shark8
2010-12-06 23:33                                         ` Properties Randy Brukardt
2010-12-04 17:43                           ` Properties Simon Wright
2010-12-04 20:48                             ` Properties Dmitry A. Kazakov
2010-12-04 22:27                               ` Properties Simon Wright
2010-12-04 22:31                                 ` Properties Vinzent Hoefler
2010-12-03  4:24                         ` Properties Randy Brukardt
2010-12-03  5:00                         ` Properties Shark8
2010-12-03 21:10                           ` Properties Randy Brukardt
2010-12-03 23:34                           ` Properties Jeffrey Carter
2010-12-06  6:02                             ` Properties Brad Moore
2010-12-06 23:25                               ` Properties Shark8
2010-12-01 19:48                 ` Properties Randy Brukardt
2010-12-01 21:10                   ` Properties Warren
2010-12-02  0:03                     ` Properties Shark8
2010-12-02 16:45                       ` Properties Warren
2010-12-02 17:32                         ` Properties Dmitry A. Kazakov
2010-12-02 20:45                           ` Properties Warren
2010-12-02 21:17                             ` Properties Adam Beneschan
2010-12-02 21:40                               ` Properties Warren
2010-12-03  3:34                             ` Properties Shark8
2010-12-03  8:16                               ` Properties Thomas Løcke
2010-12-02 20:52                           ` Properties Pascal Obry
2010-12-02 19:46                         ` Properties Adam Beneschan
2010-12-02 20:38                           ` Properties Warren
2010-12-02 21:39                             ` Properties Jeffrey Carter
2010-12-02 21:55                               ` Properties Warren
2010-12-03  9:33                               ` Properties Anonymous
2010-12-03  3:47                           ` Properties Shark8
2010-12-03  0:09                         ` Properties Robert A Duff
2010-12-03 15:49                           ` Properties Warren
2010-12-03 20:07                             ` Properties Shark8
2010-12-06 21:01                               ` Properties Warren
2010-12-06 23:22                                 ` Properties Shark8
2010-12-07 14:37                                   ` Properties Warren
2010-12-08 21:13                                   ` Properties Simon Wright
2010-12-09  1:21                                     ` Properties Shark8
2010-12-06 23:43                                 ` Properties Randy Brukardt
2010-12-07  0:56                                   ` Properties Jeffrey Carter
2010-12-07 11:23                                   ` Properties Maciej Sobczak
2010-12-07 11:51                                     ` Properties Georg Bauhaus
2010-12-07 15:35                                       ` Properties Maciej Sobczak
2010-12-07 17:02                                         ` Properties Georg Bauhaus
2010-12-07 14:39                                   ` Properties Warren
2010-12-03 15:40                         ` Properties Warren
2010-12-03 19:56                           ` Properties Shark8
2010-12-03 20:12                             ` Properties Warren
2010-12-03  5:53               ` Properties Shark8
2010-12-03  9:05                 ` Properties Dmitry A. Kazakov
2010-12-03 19:52                   ` Properties Shark8
2010-12-03 21:14                     ` Properties Randy Brukardt
2010-12-04  5:35                       ` Properties Shark8
2010-12-04 14:23                         ` Properties Peter C. Chapin
2010-12-04 18:53                           ` Properties Shark8
2010-12-13 15:10                       ` Properties Brian Drummond
2010-12-03 22:38                     ` Properties Dmitry A. Kazakov
2010-12-04  3:12                       ` Properties Shark8
2010-12-04 13:19                     ` Properties Georg Bauhaus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox